Representing sets of ordinals as countable unions of sets in the core model
HTML articles powered by AMS MathViewer
- by Menachem Magidor PDF
- Trans. Amer. Math. Soc. 317 (1990), 91-126 Request permission
Abstract:
We prove the following theorems. Theorem 1 $(\neg {0^\# })$. Every set of ordinals which is closed under primitive recursive set functions is a countable union of sets in $L$. Theorem 2. (No inner model with an Erdàs cardinal, i.e. $\kappa \to {({\omega _1})^{ < \omega }}$.) For every ordinal $\beta$, there is in $K$ an algebra on $\beta$ with countably many operations such that every subset of $\beta$ closed under the operations of the algebra is a countable union of sets in $K$.References
-
J. Baumgartner, Unpublished notes on the cardinality of clubs in ${P_k}(\lambda )$.
- George Boolos, On the semantics of the constructible levels, Z. Math. Logik Grundlagen Math. 16 (1970), 139–148. MR 269496, DOI 10.1002/malq.19700160204
- Keith J. Devlin, Aspects of constructibility, Lecture Notes in Mathematics, Vol. 354, Springer-Verlag, Berlin-New York, 1973. MR 0376351
- Keith I. Devlin and R. B. Jensen, Marginalia to a theorem of Silver, $\vDash$ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Lecture Notes in Math., Vol. 499, Springer, Berlin, 1975, pp. 115–142. MR 0480036
- A. J. Dodd, The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. MR 652253
- A. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43–75. MR 611394, DOI 10.1016/0003-4843(81)90011-5
- D. Donder, R. B. Jensen, and B. J. Koppelberg, Some applications of the core model, Set theory and model theory (Bonn, 1979) Lecture Notes in Math., vol. 872, Springer, Berlin-New York, 1981, pp. 55–97. MR 645907
- Thomas J. Jech, Some combinatorial problems concerning uncountable cardinals, Ann. Math. Logic 5 (1972/73), 165–198. MR 325397, DOI 10.1016/0003-4843(73)90014-4
- Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
- R. Björn Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229–308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver. MR 309729, DOI 10.1016/0003-4843(72)90001-0
Additional Information
- © Copyright 1990 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 317 (1990), 91-126
- MSC: Primary 03E45; Secondary 03E35
- DOI: https://doi.org/10.1090/S0002-9947-1990-0939805-5
- MathSciNet review: 939805