Iterated class forcing (Q1901668)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 817707
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Iterated class forcing |
scientific article; zbMATH DE number 817707 |
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
0.7519983649253845
0 references
0.7515361309051514
0 references
0.7508942484855652
0 references
