Search Results - "Buchi, J. Richard"

Definability in the monadic second-order theory of successor by Richard Buchi, J., Landweber, Lawrence H.

“…Let be a relational system whereby D is a nonempty set and P 1 is an m 1 -ary relation on D . With we associate the (weak) monadic second-order theory…”
Get full text

Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types by Buchi, J Richard

“…It is a well known fact that Zermelo's Axiom of Choice and Zorn's Lemma are equivalent logical assumptions. However, an investigation from the viewpoint of the…”
Get full text

State-Strategies for Games in $F_{\sigma\delta} \bigcap G_{\delta\sigma} by Buchi, J. Richard

Get full text

Solving Sequential Conditions by Finite-State Strategies by Buchi, J. Richard, Landweber, Lawrence H.

Get full text

Coding in the existential theory of concatenation by Büchi, J. Richard, Senger, Steven

Get full text

Regular canonical systems by Richard Büchi, J.

Get full text

Review: Alonzo Church, Logic, Arithmetic, and Automata by Buchi, J. Richard

Get full text

The Basic Concepts of Mathematics . Karl Menger. Chicago: The Bookstore, Illinois Institute of Technology, 1957. Pp. 93 by Buchi, J. Richard

Get full text

Review: Bjarni Jonsson, Alfred Tarski, Boolean Algebras with Operators by Buchi, J. Richard

Get full text

Review: Hugo Ribeiro, A Remark on Boolean Algebras with Operators by Buchi, J. Richard

Get full text

Review: Louise H. Chin, Alfred Tarski, Distributive and Modular Laws in the Arithmetic of Relation Algebras by Buchi, J. Richard

Get full text

Solving Sequential Conditions by Finite-State Strategies by Buchi, J. Richard, Landweber, Lawrence H.

Get full text

"Naive Set Theory", Paul R. Halmos (Book Review) by Buchi, J Richard

Get full text

Naive Set Theory by Buchi, J. Richard

Get full text

Die Axiomatischen Grundlagen Einer Allgemeinen Theorie des Messens by Buchi, J. Richard

Get full text

The Basic Concepts of Mathematics by Buchi, J. Richard

Get full text

Definibility in normal theories by Richard Buchi, J., Danhof, Kenneth J.

Get full text

Invariants of the Anti-Automorphisms of a Group by Buchi, J. Richard, Wright, Jesse B.

Get full text

State-strategies for games in Fdelta ï G by BÜCHI, J RICHARD

Get full text

State-strategies for games in Fσδ ∩ Gδσ by Büchi, J. Richard

“…The Cantor-Bendixson theorem says: For every closed set , ∣ ∣ ≤ ω 0 ∨ ⊇ perfect (and therefore is countable or has the power of the continuum). W. H. Young…”
Get full text