Higher-dimensional forcing
| dc.creator | Irrgang, Bernhard | |
| dc.date | 2008-11-06 | |
| dc.date.accessioned | 2026-07-07T10:16:22Z | |
| dc.date.available | 2026-07-07T10:16:22Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/0811.0891 | |
| dc.identifier | http://arxiv.org/abs/0811.0891 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/173482 | |
| dc.subject | Logic | |
| dc.subject | 03E05; 03E35; 03E40 | |
| dc.title | Higher-dimensional forcing | |
| dc.type | text |