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
Wikidata entity: Q7289554
External Ids
Why not click here or view trends?
log id: 7659533