forcing (Q1003136)
Jump to navigation
Jump to search
in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results
- unramified forcing
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | forcing |
in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results |
|
Statements
![{\displaystyle M[G]=\{\operatorname {val} (u,G)|u\in M^{(\mathbb {P} )}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58bba63c37373434e22ad8e09f760e1867809fbc)
0 references
Identifiers
Sitelinks
Wikipedia(15 entries)
- cswiki Forsing
- dewiki Forcing
- enwiki Forcing (mathematics)
- eswiki Forzado (matemáticas)
- etwiki Forsseerimine (matemaatika)
- frwiki Forcing
- hewiki כפייה (לוגיקה מתמטית)
- huwiki Forszolás
- jawiki 強制法
- kowiki 강제법
- nlwiki Forcing
- plwiki Forsing
- ptwiki Forçamento
- svwiki Forcing
- zhwiki 力迫