The monadic second order theory of all countable ordinals/
Büchi, J. Richard.
The monadic second order theory of all countable ordinals/ J. Richard Büchi and Dirk Siefkes. - Berlin: New York: Springer, 1973. - vi, 217 p.: 26 cm. - Lecture notes in mathematics (Berlin); 328. Decidable theories; 2. . - Lecture notes in mathematics (Springer-Verlag); 328. .
Includes bibliographies.
Büchi, J. R. The monadic second order theory of [omega symbol]b1s.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]b1s.
3387063455 (New York)
73082358 //r85
GFR***
Godel's theorem.
Model theory.
510/.8 s 511/.3
The monadic second order theory of all countable ordinals/ J. Richard Büchi and Dirk Siefkes. - Berlin: New York: Springer, 1973. - vi, 217 p.: 26 cm. - Lecture notes in mathematics (Berlin); 328. Decidable theories; 2. . - Lecture notes in mathematics (Springer-Verlag); 328. .
Includes bibliographies.
Büchi, J. R. The monadic second order theory of [omega symbol]b1s.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]b1s.
3387063455 (New York)
73082358 //r85
GFR***
Godel's theorem.
Model theory.
510/.8 s 511/.3