Mathematics – Logic
Scientific paper
2010-08-20
Mathematics
Logic
20 pages
Scientific paper
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.
No associations
LandOfFree
On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-80741