The monadic second order theory of all countable ordinals
Enregistré dans:
| Dans: | Decidable theories, 2 |
|---|---|
| Auteurs principaux: | , |
| Autres auteurs: | |
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer-Verlag
1973, cop. 1973.
|
| Collection: | Lecture notes in mathematics
328 Decidable theories / edited by G. H. Müller and D. Siefkes II |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Consulter le titre dans une bibliothèque: | |
| Edition sous un autre format: | • The monadic second order theory of all countable ordinals, J. Richard Büchi,... Dirk Siefkes,..., 201X, Berlin [etc.], Springer, Lecture notes in mathematics, 978-3-540-46946-9 |
Table des matières:
- P. 1
- The monadic second order theory of [omega subscript 1] / J. Richard Büchi
- P. 129
- Axiomatization of the monadic second order theory of [omega subscript 1] / J. Richard Büchi, Dirk Siefkes