The monadic second order theory of all countable ordinals
By: [by] J. Richard Büchi [and] Dirk Siefkes.
Contributors: Siefkes, Dirk, joint author.
Series: Decidable theories,; 2; Lecture notes in mathematics (Berlin); 328; Lecture notes in mathematics (Springer-Verlag) ;; 328.
Publisher: Springer
Published: 1973
Place of publication: Berlin; New York
Language: eng
Number of pages: 217
Subjects: Gödel's theorem.; Model theory.
Notes: Includes bibliographies.
Table of contents: title: Büchi, J. R. The monadic second order theory of [omega symbol]₁.; title: Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.