PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In this article we establish a quasi-lower bound by showing that there is a model with a proper class of subcompact cardinals such that PFA for -linked forcings fails in all of its proper forcing extensions.
http://www.w3.org/ns/prov#wasQuotedFrom
  • ams.org