ramified forcing (Q7289554)
Jump to navigation
Jump to search
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
Language | Label | Description | Also known as |
---|---|---|---|
English | 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 |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Ramified forcing