B. Irrgang

collaborators

6 papers

math.LO2011

Proposing new higher-gap morasses

Bernhard Irrgang

I propose a notion of $(ω_{1}, β)$ -morass for the case $ω_{1} \leq β$ .

math.LO2011

Constructing new higher-gap morasses

Bernhard Irrgang

In a previous paper I proposed a notion of $(ω_{1}, β)$ -morasses for $ω_{1} \leq β$ . In the present paper such morasses are constructed in an inner model which satisfies amenability, co…

math.LO2008

Higher-dimensional forcing

Bernhard Irrgang

This is an overview about a method of constructing ccc forcings: Suppose first that a continuous, commutative system of complete embeddings between countable forcings indexed along…

math.LO2008

On $ω_{3}$ -chains in P( $ω_{1}$ ) mod finite

Bernhard Irrgang

We prove that if there exists a simplified $(ω_{1}, 2)$ -morass, then there is a ccc forcing which adds an $ω_{3}$ -chain in P( $ω_{1}$ ) mod finite and a ccc forcing which adds a family of $…

math.LO2008

Morasses and finite support iterations

Bernhard Irrgang

We introduce a method of constructing a forcing along a simplified $(κ, 1)$ -morass such that the forcing satisfies the $κ$ -chain condition. Alternatively, this may be seen as a meth…

math.LO2008

Forcings constructed along morasses

Bernhard Irrgang

In a previous paper, we introduced a way of constructing a forcing along a simplified gap-1 morass such that the forcing satisfies a chain condition. Now, we generalize this to gap…

Proposing new higher-gap morasses

Constructing new higher-gap morasses

Higher-dimensional forcing

On ω3​-chains in P(ω1​) mod finite

Morasses and finite support iterations

Forcings constructed along morasses

On $ω_{3}$ -chains in P( $ω_{1}$ ) mod finite