J. Richard Büchi

Publication Activity (10 Years)

Years Active: 1953-1988
Publications (10 Years): 0

Publications

J. Richard Büchi, Steven Senger
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory. Math. Log. Q. 34 (4) (1988)
J. Richard Büchi, William E. Fenton
Large convex sets in oriented matroids. J. Comb. Theory, Ser. B 45 (3) (1988)
J. Richard Büchi, Steven Senger
Coding in the existential theory of concatenation. Arch. Math. Log. 26 (1) (1987)
J. Richard Büchi
State-Strategies for Games in F G. J. Symb. Log. 48 (4) (1983)
J. Richard Büchi, Dirk Siefkes
The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals. Math. Log. Q. 29 (5) (1983)
J. Richard Büchi, Charles Zaiontz
. Math. Log. Q. 29 (5) (1983)
J. Richard Büchi
Using Determinancy of Games to Eliminate Quantifiers. FCT (1977)
J. Richard Büchi, W. H. Hosken
Canonical Systems which Produce Periodic Sets. Math. Syst. Theory 4 (1) (1970)
J. Richard Büchi, Lawrence H. Landweber
Definability in the Monadic Second-Order Theory of Successor. J. Symb. Log. 34 (2) (1969)
J. Richard Büchi
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types. J. Symb. Log. 18 (2) (1953)