measurable cardinal axiom

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:consistencyStrength stronger than ZFC
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label measurable cardinal axiom
gptkbp:implies existence of a measurable cardinal
existence of a non-principal ultrafilter
gptkbp:namedAfter measurable cardinal
gptkbp:relatedTo measurable cardinal
gptkbp:usedIn large cardinal theory
gptkbp:bfsParent gptkb:large_cardinal_axioms
gptkbp:bfsLayer 6