Source author record

Anne Fernengel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

2works

1topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

An Easton-like theorem for Zermelo-Fraenkel Set Theory without Choice

We show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice a surjectively modified continuum function $θ(κ)$ can take almost arbitrary values for all infinite cardinals. This choiceless version of Easton's Theorem is in sharp contrast to the situation in ZFC, where for singular cardinals $κ$ , the value of $2^κ$ is strongly influenced by the behaviour of the continuum function below. Our construction can roughly be described as follows: In a ground model $V \models ZFC + GCH$ with a "reasonable" function $F: Card \rightarrow Card$ on the infinite cardinals, a class forcing ${\mathbb P}$ is introduced, which blows up the power sets of all cardinals according to $F$ . The eventual model $N \models ZF$ is a symmetric extension by ${\mathbb P}$ such that $θ^N(κ) = F(κ)$ holds for all $κ$ .

preprint2013arXiv

An Easton-like Theorem for Zermelo-Fraenkel Set Theory Without Choice (Preliminary Report)

By Easton's theorem one can force the exponential function on regular cardinals to take rather arbitrary cardinal values provided monotonicity and Koenig's lemma are respected. In models without choice we employ a "surjective" version of the exponential function. We then prove a choiceless Easton's theorem: one can force the surjective exponential function on all infinite cardinals to take arbitrary cardinal values, provided monotonicity and Cantor's theorem are satisfied, irrespective of cofinalities.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.