Show simple item record

An Easton-like Theorem for all Cardinals in ZF

dc.contributor.advisorKoepke, Peter
dc.contributor.authorFernengel, Anne
dc.date.accessioned2020-07-01T09:50:53Z
dc.date.available2020-07-01T09:50:53Z
dc.date.issued01.07.2020
dc.identifier.urihttp://hdl.handle.net/20.500.11811/8431
dc.description.abstractWe show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice (ZF), a surjectively modified Continuum Function θ(κ) can take almost arbitrary values on all cardinals. This is in sharp contrast to the situation in ZFC, where on the one hand, Easton's Theorem states that the Continuum Function on the class of all regular cardinals is essentially undetermined, but on the other hand, various results show that the value of 2κ for singular cardinals κ is strongly influenced by the behavior of the Continuum Function below.
Without the Axiom of Choice (AC), the powerset of a cardinal is generally not well-orderable, and there are different ways how "largeness" can now be expressed. The θ-function maps any cardinal κ to the least cardinal α for which there is no surjective function from the powerset of κ onto α, thus measuring the surjective size of the powersets.
Our first theorem answers a question of Saharon Shelah, who asked whether there are any bounds on the θ-function in the theory ZF + DC + AX4. Here, the axiom AX4 is the assertion that for every cardinal λ, the set of all countable subsets of λ can be well-ordered. Together with the Axiom of Dependent Choice (DC), the theory ZF + DC + AX4 provides a rich framework for combinatorial set theory in the ¬ AC-context, in which set theory is "not so far from normal" (Shelah). Nevertheless, we prove that the answer to Shelah's question is no: Given any "reasonable" behavior of the θ-function on a set of uncountable cardinals, we construct a model N of ZF + DC + AX4 where this behavior is realized.
Our forcing notion is based on ideas from the paper "Violating the Singular Cardinals Hypothesis without Large Cardinals" (2012) by Moti Gitik and Peter Koepke. We modify and generalize their construction in order to treat the θ-values of many cardinals simultaneously. Our second theorem deals with the question whether also any "reasonable" behavior of the θ-function on a class of infinite cardinals can be realized in ZF. (The construction mentioned above can not be straightforwardly generalized to a class-sized forcing notion and is therefore only suitable for treating set many θ-values at the same time.)
Given a ground model V with a function F on the class of infinite cardinals such that F is weakly monotone and F(κ) ≥ κ++ holds for all κ, is there a ZF-model N such that NV is a cardinal-preserving extension with θN(κ) = F(κ) for all cardinals κ?
We introduce a new notion of class forcing ℙ, consisting of functions on trees with finitely many maximal points. Our eventual model N is a symmetric extension by this class forcing ℙ.
We conclude that indeed, any "reasonable" behavior of the θ-function can be realized in ZF -- the only restrictions are the obvious ones. In other words: An analogue of Easton's theorem holds for all cardinals.
en
dc.language.isoeng
dc.rightsIn Copyright
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subjectKontinuumsfunktion
dc.subjectsinguläre-Kardinalzahlen-Hypothese (SCH)
dc.subjectPrinzip der abhängigen Wahlen (DC)
dc.subjectTheta-Funktion
dc.subjectSymmetrisches Modell
dc.subjectSatz von Easton
dc.subjectContinuum Function
dc.subjectSingular Cardinals Hypothesis (SCH)
dc.subjectThe Axiom of Dependent Choice (DC)
dc.subjectTheta Function
dc.subjectSymmetric Model
dc.subjectEaston's Theorem
dc.subject.ddc510 Mathematik
dc.titleAn Easton-like Theorem for all Cardinals in ZF
dc.typeDissertation oder Habilitation
dc.publisher.nameUniversitäts- und Landesbibliothek Bonn
dc.publisher.locationBonn
dc.rights.accessRightsopenAccess
dc.identifier.urnhttps://nbn-resolving.org/urn:nbn:de:hbz:5-58525
ulbbn.pubtypeErstveröffentlichung
ulbbnediss.affiliation.nameRheinische Friedrich-Wilhelms-Universität Bonn
ulbbnediss.affiliation.locationBonn
ulbbnediss.thesis.levelDissertation
ulbbnediss.dissID5852
ulbbnediss.date.accepted2020-01-28
ulbbnediss.instituteMathematisch-Naturwissenschaftliche Fakultät : Fachgruppe Mathematik / Mathematisches Institut
ulbbnediss.fakultaetMathematisch-Naturwissenschaftliche Fakultät
dc.contributor.coRefereeLücke, Philipp


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

The following license files are associated with this item:

InCopyright