×

zbMATH — the first resource for mathematics

Büchi’s monadic second order successor arithmetic. (English) Zbl 0399.03011
Lecture Notes in Mathematics. 120. Berlin-Heidelberg-New York: Springer-Verlag. XII, 130 p. (1970).

MSC:
03B25 Decidability of theories and sets of sentences
03C35 Categoricity and completeness of theories
03C10 Quantifier elimination, model completeness and related topics
11U05 Decidability (number-theoretic aspects)
03B15 Higher-order logic; type theory (MSC2010)
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
PDF BibTeX XML Cite
Full Text: DOI