Countable unions of simple sets in the core model

Journal of Symbolic Logic 61 (1):293-312 (1996)
  Copy   BIBTEX


We follow [8] in asking when a set of ordinals $X \subseteq \alpha$ is a countable union of sets in K, the core model. We show that, analogously to L, and X closed under the canonical Σ 1 Skolem function for K α can be so decomposed provided K is such that no ω-closed filters are put on its measure sequence, but not otherwise. This proviso holds if there is no inner model of a weak Erdős-type property



    Upload a copy of this work     Papers currently archived: 79,826

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

On hereditarily countable sets.Thomas Jech - 1982 - Journal of Symbolic Logic 47 (1):43-47.
The complexity of the core model.William J. Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
The reals in core models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.


Added to PP

30 (#404,644)

6 months
1 (#479,713)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Determinacy in the difference hierarchy of co-analytic sets.P. D. Welch - 1996 - Annals of Pure and Applied Logic 80 (1):69-108.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
On the size of closed unbounded sets.James E. Baumgartner - 1991 - Annals of Pure and Applied Logic 54 (3):195-227.
A hierarchy of ramsey cardinals.Qi Feng - 1990 - Annals of Pure and Applied Logic 49 (3):257-277.
Some principles related to Chang's conjecture.Hans-Dieter Donder & Jean-Pierre Levinski - 1989 - Annals of Pure and Applied Logic 45 (1):39-101.

Add more references