×

zbMATH — the first resource for mathematics

\(\text{AD}\) and patterns of singular cardinals below \(\Theta\). (English) Zbl 0855.03029
Let \(\Theta\) denote the least ordinal such that there is no function onto it which has the real line as domain. \(\Theta\) is larger than \(\omega\), as the function which assigns to a real number \(x\) the absolute value of the greatest integer below \(x\) shows. Recently Steel proved that the Axiom of Determinacy implies: \({\mathbf L} [\mathbb{R} ]\) satisfies that an ordinal number \(\kappa< \Theta\) is an uncountable regular cardinal number if and only if it is a measurable cardinal number. This statement would be vacuously true if \({\mathbf L} [\mathbb{R} ]\) were to satisfy that there are no uncountable regular cardinals below \(\Theta\). The Axiom of Determinacy also implies that \({\mathbf L} [\mathbb{R} ]\) satisfies \(\Theta= \aleph_\Theta\), i.e., \({\mathbf L} [\mathbb{R} ]\) “thinks” there are many cardinals below \(\Theta\), and \({\mathbf L} [\mathbb{R} ]\) satisfies that \(\aleph_1\) and \(\aleph_2\) are regular uncountable cardinal numbers.
In this paper the author gives a relative consistency result regarding the behaviour of the cofinality function below \(\Theta\); the consistency result is relative to the consistency of the Axiom of Determinacy, and uses Steel’s result.
In particular, the author shows that if we assume the consistency of the Axiom of Determinacy, and if we start with ground model \({\mathbf L} [\mathbb{R} ]\), and if \(A\) and \(B\) are two disjoint subsets of \(\Theta\) which is a partition of the set \(\{\alpha< \Theta: \aleph_\alpha\) regular}, then an inner model \({\mathbf N}\) of a generic extension of \({\mathbf L} [\mathbb{R} ]\) can be found such that \({\mathbf N}\) and the ground model have the same cardinals and have the same value of \(\Theta\), and in \({\mathbf N}\) the cofinality function behaves as follows on \(\aleph_\alpha\) for \(\alpha< \Theta\) (here, cof denotes cofinality in the ground model and \(\text{cof}^{\mathbf N}\) denotes cofinality in \({\mathbf N}\)): \[ \text{cof}^{\mathbf N} (\aleph_\alpha)= \begin{cases} \aleph_0 &\text{ if } \alpha\in A\\ \aleph_0 &\text{ if } \alpha\not\in A\cup B\text{ and cof} (\aleph_\alpha)= \aleph_\beta \text{ for some }\beta\in A\\ \aleph_\alpha &\text{ if } \alpha\in B\\ \text{cof} (\aleph_\alpha) &\text{ if } \alpha\not\in A\cup B\text{ and cof} (\aleph_\alpha)= \aleph_\beta \text{ for some }\beta\in B. \end{cases}. \]

MSC:
03E35 Consistency and independence results
03E60 Determinacy principles
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Proceedings of symposia in pure mathematics pp 271– (1985)
[2] Cabal seminar ’77–’79 (1981) · Zbl 0456.00005
[3] Lecture notes in mathematics pp 99– (1978)
[4] Set theory (1978)
[5] Transactions of the American Mathematical Society 290 pp 41– (1985)
[6] DOI: 10.1007/BF02760939 · Zbl 0439.03036
[7] DOI: 10.1007/BF01269948 · Zbl 0755.03028
[8] DOI: 10.1007/BF02772571 · Zbl 0661.03040
[9] DOI: 10.1016/0003-4843(78)90031-1 · Zbl 0376.02055
[10] DOI: 10.1016/0003-4843(71)90009-X · Zbl 0274.02034
[11] Descriptive set theory (1980) · Zbl 0433.03025
[12] DOI: 10.1090/S0894-0347-1989-0955605-X
[13] DOI: 10.1073/pnas.85.18.6582 · Zbl 0656.03036
[14] DOI: 10.1007/BF02771612 · Zbl 0289.02044
[15] Lecture notes in mathematics (1977)
[16] DOI: 10.1016/S0003-4843(77)80002-8 · Zbl 0378.02032
[17] Cabal seminar ’77–’ 79 pp 75– (1981) · Zbl 0456.00005
[18] The axiom of determinacy implies dependent choices in L[\(\mathbb{R}\)] 49 pp 255– (1984) · Zbl 0584.03037
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.