Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
This thesis is on the topic of set theory and in particular large cardinal axioms, singular cardinal patterns, and model theoretic principles in models of set theory without the axiom of choice (ZF). The first task is to establish a standardised setup for the technique of symmetric forcing, our main tool. This is handled in Chapter 1. Except just translating the method in terms of the forcing method we use, we expand the technique with new definitions for properties of its building blocks, that help us easily create symmetric models with a very nice property, i.e., models that satisfy the approximation lemma . Sets of ordinals in symmetric models with this property are included in some model of set theory with the axiom of choice (ZFC), a fact that enables us to partly use previous knowledge about models of ZFC in our proofs. After the methods are established, some examples are provided, of constructions whose ideas will be used later in the thesis. The first main question of this thesis comes at Chapter 2 and it concerns patterns of singular cardinals in ZF, also in connection with large cardinal axioms. When we do assume the axiom of choice, every successor cardinal is regular and only certain limit cardinals are singular, such as ℵ ω . Here we show how to construct several patterns of singular and regular cardinals in ZF. Since the partial orders that are used for the constructions of Chapter 1 cannot be used to construct successive singular cardinals, we start by presenting some partial orders that will help us achieve such combinations. The techniques used here are inspired from Moti Gitik’s 1980 paper “All uncountable cardinals can be singular”, a straightforward modification of which is in the last section of this chapter. That last section also tackles the question posed by Arthur Apter “Which cardinals can become simultaneously the first measurable and first regular uncountable cardinal?”. Most of this last part is submitted for publication in a joint paper with Arthur Apter , Peter Koepke, and myself, ...