weakly compact cardinal axiom

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:consistencyStrength stronger than inaccessible cardinal axiom
weaker than measurable cardinal axiom
gptkbp:expressedIn existence of a weakly compact cardinal
gptkbp:field gptkb:set_theory
gptkbp:firstOrderProperty not expressible in first-order logic
https://www.w3.org/2000/01/rdf-schema#label weakly compact cardinal axiom
gptkbp:implies gptkb:inaccessible_cardinal_axiom
gptkbp:introducedIn 20th century
gptkbp:relatedTo weakly compact cardinal
gptkbp:usedIn large cardinal hierarchy
gptkbp:bfsParent gptkb:large_cardinal_axioms
gptkbp:bfsLayer 6