ramified forcing
form of forcing in which one starts with a model of set theory in which the axiom of constructibility holds and iteratively builds up a larger model by adding a generic subset of a partially ordered set, imitating the constructible hierarchy
| rdfs:label |
"ramified forcing"@en
|
| schema:description | "form of forcing in which one starts with a model of set theory in which the axiom of constructibility holds and iteratively builds up a larger model by adding a generic subset of a partially ordered set, imitating the constructible hierarchy"@en |
|
schema:date |
"2022-09-06T18:47:10+00:00"^^xsd:dateTime |
| schema:version | 1722549174 |
| wikibase:identifiers | 1 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 2 |
| p:P279 | wd:statement/Q7289554-27d3c81f-43f1-533c-7d03-5ca49340656f |
| p:P646 | wd:statement/Q7289554-1C9D15EF-2D30-4D6A-9D01-E6D7912C3304 |
| wdt:P279 | forcing |
| wdt:P646 | "/m/03nn5xr" |
Download as: