Skip to main content
SpringerLink
Log in

The Collected Works of J. Richard Büchi

  • Book
  • © 1990

Overview

Editors:
  1. Saunders Mac Lane

    1. Department of Mathematics, University of Chicago, Chicago, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dirk Siefkes

    1. Fachberich Informatik, Technische Universität Berlin, Berlin 10, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (38 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. The Person and His Work

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Association for Symbolic Logic

      • Saunders Mac Lane, Dirk Siefkes
      Pages 2-3

    3. The Life of J. Richard Büchi

      • Sylvia Büchi
      Pages 4-6

    4. The Work of J. Richard Büchi

      • Dirk Siefkes
      Pages 7-17

    5. The Role of Büchi’s Automata in Computing Science

      • E. Allen Emerson
      Pages 18-22

    6. J. Richard Büchi’s Doctoral Students

      • Saunders Mac Lane, Dirk Siefkes
      Pages 23-23

  3. The Publications, with Comments

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    3. Discrete Spaces

      1. On the existence of totally heterogeneous spaces
        • J. R. Büchi
        Pages 141-146
      2. Jordan Circuits of a Graph
        • J. Richard Büchi, Gary Haggard
        Pages 147-159
      3. Skolem Rings and Their Varieties
        • J. R. Büchi, T. M. Owens
        Pages 161-221

    4. Towards a Theory of Definability

      1. The Theory of Proportionality as an Abstraction of Group Theory
        • J. Richard Büchi, Jesse B. Wright
        Pages 226-232
      2. Invariants of the Anti-Automorphisms of a Group
        • J. Richard Büchi, Jesse B. Wright
        Pages 234-240
      3. Model Theoretic Approaches to Definability
        • J. Richard Büchi, Kenneth J. Danhof
        Pages 241-250
      4. Definibility in Normal Theories
        • J. Richard Buchi, Kenneth J. Danhof
        Pages 252-260
      5. Variations on a Theme of Cantor in the Theory of Relational Structures
        • J. Richard Büchi, Kenneth J. Danhof
        Pages 261-276
      6. Relatively Categorical and Normal Theories
        • J. Richard Büchi
        Pages 277-286
Back to top

Keywords

About this book

J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical," because he more or less identified science and theory, using "theory" in a broader sense and "science" in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis­ cussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite au­ tomata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story.

Editors and Affiliations

  • Department of Mathematics, University of Chicago, Chicago, USA

    Saunders Mac Lane

  • Fachberich Informatik, Technische Universität Berlin, Berlin 10, Germany

    Dirk Siefkes

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation