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
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
0 references