Some results on consecutive large cardinals. II: Applications of Radin forcing (Q1082337)

From MaRDI portal
Revision as of 15:49, 12 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    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

    Identifiers