isUndecidableIn

29 triples
GPTKB property

Random triples
Subject Object
gptkb:ZFC_(with_axiom_of_choice) existence of a nonprincipal ultrafilter on the natural numbers
gptkb:ZFC_(with_axiom_of_choice) existence of inner models with large cardinals
gptkb:ZFC_(with_axiom_of_choice) existence of 0# (zero sharp)
gptkb:ZFC_(with_axiom_of_choice) existence of a 0# (zero sharp)
gptkb:ZFC_(with_axiom_of_choice) axiom of constructibility
gptkb:ZFC_(with_axiom_of_choice) existence of a Woodin cardinal
gptkb:ZFC_(with_axiom_of_choice) gptkb:Banach–Tarski_paradox
gptkb:ZFC_(with_axiom_of_choice) existence of a measurable cardinal
gptkb:ZFC_(with_axiom_of_choice) existence of a weakly compact cardinal
gptkb:ZFC_(with_axiom_of_choice) gptkb:large_cardinal_axioms
gptkb:ZFC_(with_axiom_of_choice) existence of a strongly compact cardinal
gptkb:ZFC_(with_axiom_of_choice) existence of a Ramsey cardinal
gptkb:ZFC_(with_axiom_of_choice) existence of a well-ordering of the reals
gptkb:ZFC_(with_axiom_of_choice) existence of a strongly inaccessible cardinal
gptkb:ZFC_(with_axiom_of_choice) existence of a Reinhardt cardinal
gptkb:ZFC_(with_axiom_of_choice) gptkb:continuum_hypothesis
gptkb:ZFC_(with_axiom_of_choice) existence of measurable cardinals
gptkb:ZFC_(with_axiom_of_choice) existence of a non-measurable set of reals
gptkb:ZFC_(with_axiom_of_choice) gptkb:Suslin's_hypothesis
gptkb:ZFC_(with_axiom_of_choice) existence of a supercompact cardinal

Please wait…