Order types of ordinals in models of set theory

Journal of Symbolic Logic 41 (2):489-502 (1976)
  Copy   BIBTEX


An ordinal in a model of set theory is truly countable if its set of predecessors is countable in the real world. We classify the order types of the sets of truly countable ordinals. Models with indiscernibles and other related results are discussed



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Elementary extensions of countable models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (1):139-145.
The reals in core models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.
Minimum models of second-order set theories.Kameryn J. Williams - 2019 - Journal of Symbolic Logic 84 (2):589-620.
Selected logic papers.Gerald E. Sacks - 1999 - River Edge, N.J.: World Scientific.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
A model and its subset.Ludomir Newelski - 1992 - Journal of Symbolic Logic 57 (2):644-658.


Added to PP

6 (#711,559)

6 months
23 (#666,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Stationary logic of finitely determinate structures.P. C. Eklof - 1979 - Annals of Mathematical Logic 17 (3):227.

Add more citations

References found in this work

Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.

Add more references