Proper forcing axiom

http://dbpedia.org/resource/Proper_forcing_axiom an entity of type: WikicatAxiomsOfSetTheory

In the mathematical field of set theory, the proper forcing axiom (PFA) is a significant strengthening of Martin's axiom, where forcings with the countable chain condition (ccc) are replaced by proper forcings. rdf:langString
PFA (z ang. proper forcing axiom) – aksjomat forsingowy używany w teorii mnogości, topologii i pokrewnych dziedzinach matematyki. Jest to zdanie postulujące szczególną własność pewnych porządków częściowych. rdf:langString
rdf:langString Proper forcing axiom
rdf:langString PFA (aksjomat)
xsd:integer 6250799
xsd:integer 1036626537
rdf:langString In the mathematical field of set theory, the proper forcing axiom (PFA) is a significant strengthening of Martin's axiom, where forcings with the countable chain condition (ccc) are replaced by proper forcings.
rdf:langString PFA (z ang. proper forcing axiom) – aksjomat forsingowy używany w teorii mnogości, topologii i pokrewnych dziedzinach matematyki. Jest to zdanie postulujące szczególną własność pewnych porządków częściowych.
xsd:nonNegativeInteger 6003
yago:WikicatAxiomsOfSetTheory
yago:Abstraction100002137
yago:AuditoryCommunication107109019
yago:Communication100033020
yago:Maxim107152948
dbpedia-owl:Album
yago:Saying107151380
yago:Speech107109196
<http://dbpedia.org/resource/Category:Forcing_(mathematics)>
<http://dbpedia.org/resource/Category:Axioms_of_set_theory>
<http://dbpedia.org/resource/Category:Forcing_(mathematics)>
<http://dbpedia.org/resource/Antichain>
<http://dbpedia.org/resource/Inner_model>
<http://dbpedia.org/resource/L(R)>
<http://dbpedia.org/resource/Saharon_Shelah>
<http://dbpedia.org/resource/Martin's_maximum>
<http://dbpedia.org/resource/Aronszajn_tree>
<http://dbpedia.org/resource/Stevo_Todorčević>
<http://dbpedia.org/resource/Supercompact_cardinal>
<http://dbpedia.org/resource/Large_cardinal>
<http://dbpedia.org/resource/Laver_function>
<http://dbpedia.org/resource/Forcing_(mathematics)>
<http://dbpedia.org/resource/Partially_ordered_set>
<http://dbpedia.org/resource/Cardinal_number>
<http://dbpedia.org/resource/Iterated_forcing>
<http://dbpedia.org/resource/John_R._Steel>
<http://dbpedia.org/resource/Regular_cardinal>
<http://dbpedia.org/resource/Countable_chain_condition>
<http://dbpedia.org/resource/Category:Axioms_of_set_theory>
<http://dbpedia.org/resource/Woodin_cardinal>
<http://dbpedia.org/resource/Axiom_of_determinacy>
<http://dbpedia.org/resource/Boolean_algebra>
<http://dbpedia.org/resource/Set_theory>
<http://dbpedia.org/resource/Martin's_axiom>
<http://dbpedia.org/resource/Singular_cardinals_hypothesis>
<http://dbpedia.org/resource/Square_principle>
<http://dbpedia.org/resource/Stationary_set>
<http://dbpedia.org/resource/Forcing_(set_theory)>
<http://dbpedia.org/resource/Ω-closed>
<http://www.math.cornell.edu/~justin/Ftp/ICM.pdf>
<http://rdf.freebase.com/ns/m.0fyy7q>
<http://yago-knowledge.org/resource/Proper_forcing_axiom>
<http://www.wikidata.org/entity/Q749043>
<http://pl.dbpedia.org/resource/PFA_(aksjomat)>
<http://pms.dbpedia.org/resource/Assiòma_dël_forsament_pròpi>
<https://global.dbpedia.org/id/4v5ju>
<http://dbpedia.org/resource/Template:Cite_book>
<http://dbpedia.org/resource/Template:Cite_journal>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Strengthening>
<http://en.wikipedia.org/wiki/Proper_forcing_axiom?oldid=1036626537&ns=0>
<http://en.wikipedia.org/wiki/Proper_forcing_axiom>

data from the linked data cloud