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
| rdfs:label |
"forcing"@en
|
|
skos:alt |
"unramified forcing"@en
|
| schema:description |
"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"@en
|
|
schema:date |
"2026-08-28T12:07:21+00:00"^^xsd:dateTime |
| schema:version | 2537385660 |
| wikibase:identifiers | 7 |
| wikibase:sitelinks | 16 |
| wikibase:statements | 17 |
| p:P10283 | wd:statement/Q1003136-347AACBF-91F5-488E-8370-B60B6E7D4824 |
| p:P1417 | wd:statement/Q1003136-DDE34BA1-C84F-4649-8572-65E507BE938D |
| p:P1482 | wd:statement/Q1003136-29b7f486-4864-9139-c791-e91b36ba496b |
| p:P1889 | wd:statement/Q1003136-9e69aaf8-4a21-7a0c-defc-070f175f0c19 |
| p:P2534 | wd:statement/Q1003136-f4d943af-41cf-4239-828b-2c35cbed58ac |
| p:P2581 | wd:statement/Q1003136-F4E5C4CA-F54F-4D19-8CED-E09031BBF369 |
| p:P2812 | wd:statement/Q1003136-43267EA0-FB86-4C4C-B3D0-43AB255690A6 |
| p:P31 | wd:statement/Q1003136-a312b758-4fdb-7e47-e0be-2129164a1a91 |
| p:P361 | wd:statement/Q1003136-9d4e49e1-4f9b-a7a2-4c2d-e6cfb975230b |
| p:P61 | wd:statement/q1003136-B135DB2A-9863-4C91-B4F2-E2FA7CA3F742 |
| p:P6104 | wd:statement/Q1003136-902E7B19-404B-42F1-88C1-BB4138C19016 |
| p:P6366 | wd:statement/Q1003136-8AA28F10-A7B5-4B53-8697-6B0550D1C3C8 |
| p:P646 | wd:statement/Q1003136-766B52F9-8731-4CB3-BEAA-EDAB0F6AE541 |
| p:P7235 | wd:statement/Q1003136-4e751e18-4a1d-e322-18c0-66efc51ed5b3 |
| wd:statement/Q1003136-c4e1bd82-4fab-87c4-9457-0d376f18c096 | |
| p:P8408 | wd:statement/Q1003136-1DB62172-5F38-4908-BC7D-5E970623C8DE |
| p:P910 | wd:statement/Q1003136-7FA515D5-DEF1-4E45-8215-CD381A913CE0 |
|
p:direct- |
<http:/ |
|
p:direct- |
<https:/ |
|
p:direct- |
<http:/ |
| wdt:P10283 | "C197115733" |
| wdt:P1417 | "topic/forcing-mathematics" |
| wdt:P1482 |
<https:/ |
| wdt:P1889 | wd:Q7289554 |
| wdt:P2534 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>M</mi><mo stretchy="false">[</mo><mi>G</mi><mo stretchy="false">]</mo><mo stretchy="false">=</mo><mo fence="false" stretchy="false">{</mo><mi data-mjx-texclass="OP" mathvariant="normal">val</mi><mo>⁡</mo><mo stretchy="false">(</mo><mi>u</mi><mo>,</mo><mi>G</mi><mo stretchy="false">)</mo><mo stretchy="false">|</mo><mi>u</mi><mo stretchy="false">∈</mo><msup><mi>M</mi><mrow data-mjx-texclass="ORD"><mrow data-mjx-texclass="ORD"><mo stretchy="false">(</mo><mrow data-mjx-texclass="ORD"><mi>ℙ</mi></mrow><mo stretchy="false">)</mo></mrow></mrow></msup><mo fence="false" stretchy="false">}</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2581 | "00739900n" |
| wdt:P2812 | "Forcing" |
| wdt:P31 | wd:Q3918374 |
| wdt:P361 | wd:Q12482 |
| wdt:P61 | wd:Q216809 |
| wdt:P6104 | wd:Q8487137 |
| wdt:P6366 | "197115733" |
| wdt:P646 | "/m/013tlv" |
| wdt:P7235 | "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>G</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>M</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML | |
| wdt:P8408 | "ForcingMathematics" |
| wdt:P910 | wd:Q8465461 |
Inverse relations
[ .. ] → schema:about → forcing
Forcingschema:Article
Forcingschema:Article
Forcingschema:Article
Forcingschema:Article
Forcing (matemàtiques)schema:Article
Forcing (mathematics)schema:Article
Forsingschema:Article
Forsingschema:Article
Forsseerimine (matemaatika)schema:Article
Forszolásschema:Article
Forzado (matemáticas)schema:Article
Forçamentoschema:Article
כפייה (לוגיקה מתמטית)schema:Article
力迫schema:Article
強制法schema:Article
강제법schema:Article