zbMATH — the first resource for mathematics

Successive weakly compact or singular cardinals. (English) Zbl 0926.03069
Summary: It is shown in ZF that if \(\delta<\delta^+<\Omega\) are such that \(\delta\) and \(\delta^+\) are either both weakly compact or singular cardinals and \(\Omega\) is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.

03E55 Large cardinals
03E45 Inner models, including constructibility, ordinal definability, and core models
03E35 Consistency and independence results
Full Text: DOI
[1] Journal of the American Mathematical Society 2 pp 71–125– (1989)
[2] Cabal seminar 76–77 689 pp 91–132– (1987)
[3] Set theory (1978)
[4] The core model iterability problem (1996) · Zbl 0864.03035
[5] Mathematical Research Letters 2 pp 595–609– (1995)
[6] Descriptive set theory (1980) · Zbl 0433.03025
[7] Mathematical Logic Quarterly 43 pp 22–28– (1997)
[8] Fine structure and iteration trees (1994) · Zbl 0805.03042
[9] Annals of Pure and Applied Logic 84 pp 219–255– (1997)
[10] The Bulletin of Symbolic Logic 1 pp 75–84– (1995)
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.