Article contents
Countable unions of simple sets in the core model
Published online by Cambridge University Press: 12 March 2014
Abstract
We follow [8] in asking when a set of ordinals X ⊆ α is a countable union of sets in K, the core model. We show that, analogously to L, an 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1996
References
REFERENCES
- 1
- Cited by