The Collected Works of J. Richard Büchi

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Association for Symbolic Logic
3. Altmetric Badge
   Chapter 2 The Life of J. Richard Büchi
4. Altmetric Badge
   Chapter 3 The Work of J. Richard Büchi
5. Altmetric Badge
   Chapter 4 The Role of Büchi’s Automata in Computing Science
6. Altmetric Badge
   Chapter 5 J. Richard Büchi’s Doctoral Students
7. Altmetric Badge
   Chapter 6 Die Boole’sche Partialordnung und die Paarung von Geffügen
8. Altmetric Badge
   Chapter 7 Representation of Complete Lattices by Sets
9. Altmetric Badge
   Chapter 8 Investigation of the Equivalence of the Axiom of Choice and Zorn’s Lemma from the Viewpoint of the Hierarchy of Types
10. Altmetric Badge
    Chapter 9 On the existence of totally heterogeneous spaces
11. Altmetric Badge
    Chapter 10 Jordan Circuits of a Graph
12. Altmetric Badge
    Chapter 11 Skolem Rings and Their Varieties
13. Altmetric Badge
    Chapter 12 The Theory of Proportionality as an Abstraction of Group Theory
14. Altmetric Badge
    Chapter 13 Invariants of the Anti-Automorphisms of a Group
15. Altmetric Badge
    Chapter 14 Model Theoretic Approaches to Definability
16. Altmetric Badge
    Chapter 15 Definibility in Normal Theories
17. Altmetric Badge
    Chapter 16 Variations on a Theme of Cantor in the Theory of Relational Structures
18. Altmetric Badge
    Chapter 17 Relatively Categorical and Normal Theories
19. Altmetric Badge
    Chapter 18 Mathematische Theorie des Verhaltens endlicher Automaten
20. Altmetric Badge
    Chapter 19 Regular Canonical Systems
21. Altmetric Badge
    Chapter 20 Algebraic Theory of Feedback in Discrete Systems, Part I
22. Altmetric Badge
    Chapter 21 Canonical Systems which Produce Periodic Sets
23. Altmetric Badge
    Chapter 22 Weak Second-Order Arithmetic and Finite Automata
24. Altmetric Badge
    Chapter 23 On a Decision Method in Restricted Second Order Arithmetic
25. Altmetric Badge
    Chapter 24 Transfinite Automata Recursions and Weak Second Order Theory of Ordinals
26. Altmetric Badge
    Chapter 25 Decision Methods in the Theory of Ordinals
27. Altmetric Badge
    Chapter 26 Definability in the Monadic Second-Order Theory of Successor
28. Altmetric Badge
    Chapter 27 The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals
29. Altmetric Badge
    Chapter 28 Deterministic Automata and the Monadic Theory of Ordinals < ω 2
30. Altmetric Badge
    Chapter 29 Solving Sequential Conditions by Finite-State Strategies
31. Altmetric Badge
    Chapter 30 Algorithmisches Konstruieren von Automaten und Die Herstellung von Gewinnstrategien Nach Cantor-Bendixson
32. Altmetric Badge
    Chapter 31 On the Presentation of Winning Strategies via the Cantor-Bendixson Method
33. Altmetric Badge
    Chapter 32 Using Determinancy of Games to Eliminate Quantifiers
34. Altmetric Badge
    Chapter 33 State-Strategies for Games in F σδ ∩ G δσ
35. Altmetric Badge
    Chapter 34 Turing-Machines and the Entscheidungsproblem
36. Altmetric Badge
    Chapter 35 Recursive Definition and Complexity of Functions Over Arbitrary Data Structures
37. Altmetric Badge
    Chapter 36 Coding in the Existential Theory of Concatenation
38. Altmetric Badge
    Chapter 37 Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
39. Altmetric Badge
    Chapter 38 Large Convex Sets in Oriented Matroids