Higher-dimensional forcing
Logic
2008-11-07 v1
Abstract
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 is given. Then its direct limit satisfies ccc by a well-known theorem on finite support iterations. However, this limit has size at most . To get larger forcings, we do not consider linear systems but higher-dimensional systems which are indexed along simplified morasses.
Cite
@article{arxiv.0811.0891,
title = {Higher-dimensional forcing},
author = {Bernhard Irrgang},
journal= {arXiv preprint arXiv:0811.0891},
year = {2008}
}