2 papers
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
Morasses and finite support iterations
Bernhard Irrgang
We introduce a method of constructing a forcing along a simplified -morass such that the forcing satisfies the -chain condition. Alternatively, this may be seen as a meth…