About: Forcing (mathematics)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

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

Property Value
dbo:description
  • Methode in der Mengenlehre (de)
  • tècnica per engrandir models d'axiomes en teoria de conjunts axiomàtica, com ZFC (ca)
  • matemaatika (et)
  • metoda dowodu w teorii mnogości (pl)
  • técnica inventada por Paul Cohen para demostrar la coherencia y la independencia de los resultados (es)
  • metodo konstrui pli grandajn modelojn de la aksiomoj de aroteorio (eo)
  • метод, изобретенный Полом Коэном для доказательства непротиворечивости и независимости результатов в теории множеств (ru)
  • לוגיקה מתמטית (iw)
  • technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles (fr)
  • 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)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:date
  • June 2025 (en)
dbp:first
  • V. N. (en)
dbp:id
  • Forcing (en)
dbp:last
  • Grishin (en)
dbp:oldid
  • 51543 (xsd:integer)
dbp:reason
  • 0.0 (dbd:second)
dbp:title
  • Forcing (en)
  • Forcing Method (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Forcing (mathematics) (en)
  • Forsing (cs)
  • Forcing (de)
  • Forcing (fr)
  • Forzado (matemáticas) (es)
  • 強制法 (ja)
  • 강제법 (ko)
  • Forsing (pl)
  • Forcing (nl)
  • Forçamento (pt)
  • Forcing (sv)
  • 力迫 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International