The monadic second order theory of all countable ordinals

New York,: Springer. Edited by Dirk Siefkes (1973)
  Copy   BIBTEX

Abstract

Büchi, J. R. The monadic second order theory of [omega symbol]₁.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the strength of the interpretation method.Yuri Gurevich & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):305-323.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Modest theory of short chains. II.Yuri Gurevich & Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (4):491-502.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.

Add more citations

References found in this work

No references found.

Add more references