large cardinal hypotheses

URI: https://gptkb.org/entity/large_cardinal_hypotheses

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematical_concept
gptkbp:concerns	large cardinals
gptkbp:example	gptkb:Erdős_cardinal_hypothesis gptkb:Mahlo_cardinal_hypothesis gptkb:Ramsey_cardinal_hypothesis gptkb:Woodin_cardinal_hypothesis gptkb:huge_cardinal_hypothesis gptkb:inaccessible_cardinal_hypothesis gptkb:measurable_cardinal_hypothesis gptkb:strong_cardinal_hypothesis supercompact cardinal hypothesis weakly compact cardinal hypothesis
gptkbp:field	gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label	large cardinal hypotheses
gptkbp:implies	existence of large cardinals
gptkbp:influenced	structure of the set-theoretic universe
gptkbp:motive	study of infinite sets
gptkbp:relatedTo	gptkb:axiom_of_determinacy axiom of choice consistency strength
gptkbp:status	independent of ZFC
gptkbp:studiedBy	gptkb:Kurt_Gödel gptkb:Paul_Cohen
gptkbp:studiedIn	gptkb:logic
gptkbp:usedFor	analyze consistency of mathematical theories
gptkbp:usedIn	independence proofs
gptkbp:bfsParent	gptkb:ZFC_set_theory
gptkbp:bfsLayer	7