2008/11/06 by Irrgang, Bernhard
#03E05 #03E35 #03E40 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.0811.0891
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 ω1 is given. Then its direct limit satisfies ccc by a well-known theorem on finite support iterations. However, this limit has size at most ω1. To get larger forcings, we do not consider linear systems but higher-dimensional systems which are indexed along simplified morasses.