Mathematics – Logic
Scientific paper
2008-11-06
Mathematics
Logic
Scientific paper
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 $\omega_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 $\omega_1$. To get larger forcings, we do not consider linear systems but higher-dimensional systems which are indexed along simplified morasses.
No associations
LandOfFree
Higher-dimensional forcing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Higher-dimensional forcing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Higher-dimensional forcing will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-630336