Representing sets of ordinals as countable unions of sets in the core model. (English) Zbl 0714.03045

The author proves two ‘duals’ to the well-known covering theorems for L and K, due to Jensen et al. His first result says that if \(0^{\#}\) does not exist, then every set of ordinals that is closed under primitive recursive set functions is a countable union of sets from L.
A similar result is given for the core model K, albeit with stronger assumptions and a somewhat weaker conclusion: the assumption is that there is no inner model with an Erdős cardinal; the conclusion is “for every ordinal \(\beta\) there is an algebra in K with countably many operators such that every subset of \(\beta\) which is closed under these operators is a countable union of sets from K.”
In this way one can build a ‘small’ closed and unbounded subset of \({\mathcal P}_{\omega_ 2}(\kappa)\), on each element of which is a countable union of sets from K. This complements a result of Baumgartner who used an Erdős cardinal to produce a model in which every closed and unbounded subset of \({\mathcal P}_{\omega_ 2}(\kappa)\) is of maximum size \(\kappa^{\omega_ 1}\).
Reviewer: K.P.Hart


03E45 Inner models, including constructibility, ordinal definability, and core models
03E35 Consistency and independence results
03E05 Other combinatorial set theory
Full Text: DOI


[1] J. Baumgartner, Unpublished notes on the cardinality of clubs in \( {P_k}(\lambda )\).
[2] George Boolos, On the semantics of the constructible levels, Z. Math. Logik Grundlagen Math. 16 (1970), 139 – 148. · Zbl 0164.31502
[3] Keith J. Devlin, Aspects of constructibility, Lecture Notes in Mathematics, Vol. 354, Springer-Verlag, Berlin-New York, 1973. · Zbl 0312.02054
[4] Keith I. Devlin and R. B. Jensen, Marginalia to a theorem of Silver, \?ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Springer, Berlin, 1975, pp. 115 – 142. Lecture Notes in Math., Vol. 499. · Zbl 0339.02058
[5] A. J. Dodd, The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. · Zbl 0474.03027
[6] A. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43 – 75. · Zbl 0457.03051
[7] 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.
[8] Thomas J. Jech, Some combinatorial problems concerning uncountable cardinals, Ann. Math. Logic 5 (1972/73), 165 – 198. · Zbl 0262.02062
[9] Thomas Jech, Set theory, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Pure and Applied Mathematics. · Zbl 0419.03028
[10] 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. · Zbl 0257.02035
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.