Unsolved Problems

Showing 1-13 of 13 problems

SET-001
Open

Continuum Hypothesis

There is no set whose cardinality is strictly between that of the integers and the real numbers....

L5
Set Theory
1234
67
SET-002
Open

Singular Cardinals Hypothesis

If $\kappa$ is a singular strong limit cardinal, then $2^\kappa = \kappa^+$....

L4
Set Theory
287
15
SET-003
Open

Whitehead Problem

Is every abelian group $A$ such that $\text{Ext}^1(A, \mathbb{Z}) = 0$ a free abelian group?...

L4
Set Theory
198
11
ST-001
Open

Partition Principle Implies Axiom of Choice

Does the partition principle (PP) imply the axiom of choice (AC)?...

L4
Set Theory
234
18
ST-002
Open

Woodin's GCH below Strongly Compact Cardinals

Does the generalized continuum hypothesis below a strongly compact cardinal imply it everywhere?...

L5
Set Theory
189
15
ST-003
Open

GCH and Diamond Principle

Does the generalized continuum hypothesis entail the diamond principle $\diamondsuit(E_{\text{cf}(\lambda)}^{\lambda^+})$ for every singular cardinal ...

L5
Set Theory
156
12
ST-004
Open

GCH and Suslin Trees

Does the generalized continuum hypothesis imply the existence of an $\aleph_2$-Suslin tree?...

L4
Set Theory
167
13
ST-006
Open

Ultimate Core Model

Does there exist an ultimate core model containing all large cardinals?...

L5
Set Theory
178
14
ST-007
Open

Woodin's Ω-Conjecture

If there is a proper class of Woodin cardinals, does Ω-logic satisfy an analogue of Gödel's completeness theorem?...

L5
Set Theory
145
11
ST-008
Open

Strongly Compact vs Supercompact Cardinals

Does the consistency of a strongly compact cardinal imply the consistent existence of a supercompact cardinal?...

L5
Set Theory
167
13
ST-009
Open

Jónsson Algebra on ℵ_ω

Does there exist a Jónsson algebra on $\aleph_\omega$?...

L4
Set Theory
134
10
ST-010
Open

Open Coloring Axiom and Continuum Hypothesis

Is the open coloring axiom (OCA) consistent with $2^{\aleph_0} > \aleph_2$?...

L4
Set Theory
156
12
ST-011
Open

Reinhardt Cardinals without Choice

Without assuming the axiom of choice, can a nontrivial elementary embedding V→V exist?...

L5
Set Theory
189
15