Question

Can all sets be totally ordered (not well-ordered) in ZF?

score 513 · Answer 1 · 2026-04-13 20:10:07

513

Views

Can all sets be totally ordered (not well-ordered) in ZF?

Published on 13 Apr 2026 - 20:10

score 201 · Answer 2 · 2026-04-12 06:59:01

201

Views

Ramsey property and linear orders on $\kappa$

Published on 12 Apr 2026 - 6:59

score 444 · Answer 3 · 2026-04-23 20:51:24

444

Views

The satisfaction relation is undefinable, but does it still "exist"?

Published on 23 Apr 2026 - 20:51

score 133 · Answer 4 · 2026-04-11 18:50:01

133

Views

If $\mathbb{P}$ is an infinite notion of forcing then there is $H\subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC.

Published on 11 Apr 2026 - 18:50

score 404 · Answer 5 · 2026-04-12 19:04:37

404

Views

Closure Notation

Published on 12 Apr 2026 - 19:04

score 212 · Answer 6 · 2026-04-16 02:54:27

212

Views

Large Cardinals and Diophantine Equations (Penelope Maddy)

Published on 16 Apr 2026 - 2:54

score 432 · Answer 7 · 2026-04-12 03:50:54

432

Views

Nonstandard Complex Numbers

Published on 12 Apr 2026 - 3:50

score 114 · Answer 8 · 2026-04-11 02:32:34

114

Views

Does a proper class have arbitrary large subsets?

Published on 11 Apr 2026 - 2:32

score 98 · Answer 9 · 2026-04-09 15:05:57

98

Views

Mahlo operation, consistency border

Published on 09 Apr 2026 - 15:05

score 851 · Answer 10 · 2026-04-15 20:08:00

851

Views

A cardinality number to the square is itself?

Published on 15 Apr 2026 - 20:08

score 110 · Answer 11 · 2026-04-13 18:16:13

110

Views

Prove that if: $g: \omega_1\rightarrow\omega_1$ then for some $\alpha<\omega_1$: $\forall \beta<\alpha: g(\beta)<\alpha$

Published on 13 Apr 2026 - 18:16

score 184 · Answer 12 · 2026-04-11 07:16:52

184

Views

A heuristic for the consistency of ZFC (Fine Structure Theory)

Published on 11 Apr 2026 - 7:16

score 241 · Answer 13 · 2026-04-13 16:11:59

241

Views

Gaps in the Constructible hierarchy

Published on 13 Apr 2026 - 16:11

score 101 · Answer 14 · 2026-04-16 07:24:56

101

Views

Proof of the Collection Principle (Jech, 3rd Edition, (6.5))

Published on 16 Apr 2026 - 7:24

score 143 · Answer 15 · 2026-04-16 03:31:11

143

Views

If $\omega^\alpha$ has cofinality $\omega^\beta$, and $\beta\le\gamma\le\alpha$, does it also have a cofinal subset of order type $\omega^\gamma$?

Published on 16 Apr 2026 - 3:31

List Question

Can all sets be totally ordered (not well-ordered) in ZF?

Ramsey property and linear orders on $\kappa$

The satisfaction relation is undefinable, but does it still "exist"?

If $\mathbb{P}$ is an infinite notion of forcing then there is $H\subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC.

Closure Notation

Large Cardinals and Diophantine Equations (Penelope Maddy)

Nonstandard Complex Numbers

Does a proper class have arbitrary large subsets?

Mahlo operation, consistency border

A cardinality number to the square is itself?

Prove that if: $g: \omega_1\rightarrow\omega_1$ then for some $\alpha<\omega_1$: $\forall \beta<\alpha: g(\beta)<\alpha$

A heuristic for the consistency of ZFC (Fine Structure Theory)

Gaps in the Constructible hierarchy

Proof of the Collection Principle (Jech, 3rd Edition, (6.5))

If $\omega^\alpha$ has cofinality $\omega^\beta$, and $\beta\le\gamma\le\alpha$, does it also have a cofinal subset of order type $\omega^\gamma$?

Trending Questions

Popular # Hahtags

Popular Questions