List of forcing notions
http://dbpedia.org/resource/List_of_forcing_notions an entity of type: Software
In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the 'extension'); to force a statement of interest thus requires construction of a suitable P. This article lists some of the posets P that have been used in this construction.
rdf:langString
rdf:langString
List of forcing notions
xsd:integer
15550368
xsd:integer
1083606699
rdf:langString
In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the 'extension'); to force a statement of interest thus requires construction of a suitable P. This article lists some of the posets P that have been used in this construction.
xsd:nonNegativeInteger
16468