About: Proper forcing axiom

An Entity of Type: album, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property	Value
dbo:abstract	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. (en) 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. (pl)
dbo:wikiPageExternalLink	http://www.math.cornell.edu/~justin/Ftp/ICM.pdf
dbo:wikiPageID	6250799 (xsd:integer)
dbo:wikiPageLength	6003 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1036626537 (xsd:integer)
dbo:wikiPageWikiLink	dbc:Forcing_(mathematics) dbr:Antichain dbr:Inner_model dbr:L(R) dbr:Saharon_Shelah dbr:Martin's_maximum dbr:Aronszajn_tree dbr:Stevo_Todorčević dbr:Supercompact_cardinal dbr:Large_cardinal dbr:Laver_function dbr:Forcing_(mathematics) dbr:Partially_ordered_set dbr:Cardinal_number dbr:Iterated_forcing dbr:John_R._Steel dbr:Regular_cardinal dbr:Countable_chain_condition dbc:Axioms_of_set_theory dbr:Woodin_cardinal dbr:Axiom_of_determinacy dbr:Boolean_algebra dbr:Set_theory dbr:Martin's_axiom dbr:Singular_cardinals_hypothesis dbr:Square_principle dbr:Stationary_set dbr:Forcing_(set_theory) dbr:Ω-closed
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_journal dbt:Reflist
dcterms:subject	dbc:Forcing_(mathematics) dbc:Axioms_of_set_theory
gold:hypernym	dbr:Strengthening
rdf:type	yago:WikicatAxiomsOfSetTheory yago:Abstraction100002137 yago:AuditoryCommunication107109019 yago:Communication100033020 yago:Maxim107152948 dbo:Album yago:Saying107151380 yago:Speech107109196
rdfs:comment	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. (en) 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. (pl)
rdfs:label	Proper forcing axiom (en) PFA (aksjomat) (pl)
owl:sameAs	freebase:Proper forcing axiom yago-res:Proper forcing axiom wikidata:Proper forcing axiom dbpedia-pl:Proper forcing axiom dbpedia-pms:Proper forcing axiom https://global.dbpedia.org/id/4v5ju
prov:wasDerivedFrom	wikipedia-en:Proper_forcing_axiom?oldid=1036626537&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Proper_forcing_axiom
is dbo:knownFor of	dbr:Saharon_Shelah
is dbo:wikiPageDisambiguates of	dbr:PFA
is dbo:wikiPageRedirects of	dbr:Proper_Forcing_Axiom dbr:Proper_forcing
is dbo:wikiPageWikiLink of	dbr:List_of_first-order_theories dbr:Better-quasi-ordering dbr:Saharon_Shelah dbr:Open_coloring_axiom dbr:Glossary_of_set_theory dbr:Martin's_maximum dbr:Proper_Forcing_Axiom dbr:Aronszajn_tree dbr:Baumgartner's_axiom dbr:PFA dbr:Laver_function dbr:Iterated_forcing dbr:Richard_Laver dbr:Cantor's_isomorphism_theorem dbr:Martin's_axiom dbr:Singular_cardinals_hypothesis dbr:Unfoldable_cardinal dbr:List_of_statements_independent_of_ZFC dbr:Proper_forcing
is dbp:knownFor of	dbr:Saharon_Shelah
is foaf:primaryTopic of	wikipedia-en:Proper_forcing_axiom