Some results on consecutive large cardinals. II: Applications of Radin forcing (Q1082337): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02774081 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2008321373 / rank | |||
Normal rank |
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