Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types. - J. Richard Büchi (J. Symb. Log., 1953)

Definability in the Monadic Second-Order Theory of Successor. - J. Richard Büchi; Lawrence H. Landweber (J. Symb. Log., 1969)

Canonical Systems which Produce Periodic Sets. - J. Richard Büchi; W. H. Hosken (Math. Syst. Theory, 1970)

Using Determinancy of Games to Eliminate Quantifiers. - J. Richard Büchi (FCT, 1977)

State-Strategies for Games in F G. - J. Richard Büchi (J. Symb. Log., 1983)

The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals. - J. Richard Büchi; Dirk Siefkes (Math. Log. Q., 1983)

Deterministic Automata and the Monadic Theory of Ordinals < ω2. - J. Richard Büchi; Charles Zaiontz (Math. Log. Q., 1983)

Coding in the existential theory of concatenation. - J. Richard Büchi; Steven Senger (Arch. Math. Log., 1987)

Large convex sets in oriented matroids. - J. Richard Büchi; William E. Fenton (J. Comb. Theory B, 1988)

Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory. - J. Richard Büchi; Steven Senger (Math. Log. Q., 1988)

Finite automata, their algebras and grammars - towards a theory of formal expressions. - Julius Richard Büchi (Springer, 1989)