Iterated forcing
id:
iterated-forcing-199-12448109
title:
Iterated forcing
text:
In mathematics, iterated forcing is a method for constructing models of set theory by repeating Cohen's forcing method a transfinite number of times. Iterated forcing was introduced by Solovay and Tennenbaum (1971) in their construction of a model of set theory with no Suslin tree. They also showed that iterated forcing can construct models where Martin's axiom holds and the continuum is any given regular cardinal. In iterated forcing, one has a transfinite sequence Pα of forcing notions indexed
brand slug:
wiki
category slug:
encyclopedia
description:
Method for constructing models of set theory
original url:
https://en.wikipedia.org/wiki/Iterated_forcing
date created:
date modified:
2023-03-20T02:26:53Z
main entity:
{"identifier":"Q18352463","url":"https://www.wikidata.org/entity/Q18352463"}
image:
fields total:
13
integrity:
14