On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals
From MaRDI portal
Publication:6220293
arXiv1008.3471MaRDI QIDQ6220293FDOQ6220293
Authors: Vladimir Kanovei 
Publication date: 20 August 2010
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.
Consistency and independence results (03E35) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Other classical set theory (including functions, relations, and set algebra) (03E20)
This page was built for publication: On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6220293)
