Unsolved Problems
Showing 1-13 of 13 problems
Category
Problem Set
Status
Continuum Hypothesis
There is no set whose cardinality is strictly between that of the integers and the real numbers....
Singular Cardinals Hypothesis
If $\kappa$ is a singular strong limit cardinal, then $2^\kappa = \kappa^+$....
Whitehead Problem
Is every abelian group $A$ such that $\text{Ext}^1(A, \mathbb{Z}) = 0$ a free abelian group?...
Partition Principle Implies Axiom of Choice
Does the partition principle (PP) imply the axiom of choice (AC)?...
Woodin's GCH below Strongly Compact Cardinals
Does the generalized continuum hypothesis below a strongly compact cardinal imply it everywhere?...
GCH and Diamond Principle
Does the generalized continuum hypothesis entail the diamond principle $\diamondsuit(E_{\text{cf}(\lambda)}^{\lambda^+})$ for every singular cardinal ...
GCH and Suslin Trees
Does the generalized continuum hypothesis imply the existence of an $\aleph_2$-Suslin tree?...
Ultimate Core Model
Does there exist an ultimate core model containing all large cardinals?...
Woodin's Ω-Conjecture
If there is a proper class of Woodin cardinals, does Ω-logic satisfy an analogue of Gödel's completeness theorem?...
Strongly Compact vs Supercompact Cardinals
Does the consistency of a strongly compact cardinal imply the consistent existence of a supercompact cardinal?...
Jónsson Algebra on ℵ_ω
Does there exist a Jónsson algebra on $\aleph_\omega$?...
Open Coloring Axiom and Continuum Hypothesis
Is the open coloring axiom (OCA) consistent with $2^{\aleph_0} > \aleph_2$?...
Reinhardt Cardinals without Choice
Without assuming the axiom of choice, can a nontrivial elementary embedding V→V exist?...