On the class of measurable cardinals without the axiom of choice (Q1802772)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the class of measurable cardinals without the axiom of choice
scientific article

    Statements

    On the class of measurable cardinals without the axiom of choice (English)
    0 references
    0 references
    29 June 1993
    0 references
    The author combines the techniques of Gitik's relative consistency proof of ``ZF \(+\) all uncountable cardinals are singular'' with his own consistency proof of ``ZF \(+\) uncountable cardinals are regular iff they are measurable'' to construct a model of ZF minus countable choice in which uncountable cardinals are measurable iff they are successors of singular cardinals. Moreover, in this model the successors of singular cardinals carry a normal measure. The consistency strength of this result is shown to be below the existence of an almost huge cardinal. The author also remarks that relative to some large cardinal assumption there is a model of ZF minus countable choice in which every second cardinal is measurable.
    0 references
    axiom of choice
    0 references
    measurable cardinal
    0 references
    successors of singular cardinals
    0 references
    normal measure
    0 references
    consistency strength
    0 references
    almost huge cardinal
    0 references
    ZF minus countable choice
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references