Some results on consecutive large cardinals. II: Applications of Radin forcing (Q1082337): Difference between revisions
From MaRDI portal
Latest revision as of 10:53, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some results on consecutive large cardinals. II: Applications of Radin forcing |
scientific article |
Statements
Some results on consecutive large cardinals. II: Applications of Radin forcing (English)
0 references
1985
0 references
[For Part I see Ann. Pure Appl. Logic 25, 1-17 (1983; Zbl 0548.03030).] Let \(\kappa\) be a 3 huge cardinal in a countable model V of ZFC, and let A and B be subsets of the successor ordinals \(<\kappa\) so that \(A\cup B=\{\alpha <\kappa:\alpha\) is a successor ordinal\(\}\). Using techniques of Gitik, we construct a choiceless model \(N_ A\) of ZF of height \(\kappa\) so that \(N_ A\vDash ''ZF + \neg AC_{\omega} + For\alpha\in A\), \(\aleph_{\alpha}\) is a Ramsey cardinal \(+ For\beta\in B\), \(\aleph_{\beta}\) is a singular Rowbottom cardinal which carries a Rowbottom filter \(+ For\gamma\) a limit ordinal, \(\aleph_{\gamma}\) is a Jonsson cardinal which carries a Jonsson filter''.
0 references
huge cardinal
0 references
successor ordinals
0 references
choiceless model
0 references
Ramsey cardinal
0 references
singular Rowbottom cardinal
0 references
Rowbottom filter
0 references
limit ordinal
0 references
Jonsson cardinal
0 references
Jonsson filter
0 references
0 references