Iterated class forcing (Q1901668)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Iterated class forcing |
scientific article |
Statements
Iterated class forcing (English)
0 references
16 November 1995
0 references
The author develops a notion of stratified class forcing that implies cofinality preservation and which is preserved by iteration (with the appropriate support). Some earlier examples of class forcing are shown to be stratified and some earlier examples that are not stratified have a related property called \(\Delta\)-stratification which is also preserved by iteration.
0 references
stratified class forcing
0 references
cofinality preservation
0 references
iteration
0 references
