On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals
Abstract
It is known that the assumption that ``GCH first fails at \aleph_{\omega}'' leads to large cardinals in ZFC. Gitik and Koepke have demonstrated that this is not so in ZF: namely there is a generic cardinal-preserving extension of L (or any universe of ZFC + GCH in which all ZF axioms hold, the axiom of choice fails, GCH holds for all cardinals \aleph_n, but there is a surjection from PowerSet(\aleph_{\omega}) onto {\lambda}, where {\lambda} is any previously chosen cardinal in L greater than \aleph_{\omega}, for instance, \aleph_{\omega +17}. In other words, in such an extension GCH holds in proper sense for all cardinals \aleph_n but fails at \aleph_{\omega} in Hartogs' sense. The goal of this note is to analyse the system of automorphisms involved in the Gitik -- Koepke proof.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2010
- DOI:
- 10.48550/arXiv.1008.3471
- arXiv:
- arXiv:1008.3471
- Bibcode:
- 2010arXiv1008.3471K
- Keywords:
-
- Mathematics - Logic;
- 03E10;
- 03E20;
- 03E25;
- 03E35
- E-Print:
- 20 pages