Baumgartner's axiom

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf set-theoretic axiom
gptkbp:concerns real line
partially ordered sets
order types
gptkbp:consistentWith gptkb:ZFC
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Baumgartner's axiom
gptkbp:implies all ℵ₁-dense sets of reals are isomorphic
gptkbp:introducedIn 1973
gptkbp:namedAfter gptkb:James_E._Baumgartner
gptkbp:relatedTo gptkb:continuum_hypothesis
gptkb:Martin's_axiom
gptkbp:state All ℵ₁-dense subsets of the real line are order-isomorphic
gptkbp:bfsParent gptkb:James_E._Baumgartner
gptkbp:bfsLayer 6