Question

Why does $1+\omega=\omega$ with ordinal addition

score 991 · Answer 1 · 2026-04-13 00:53:35

991

Views

Why does $1+\omega=\omega$ with ordinal addition

Published on 13 Apr 2026 - 0:53

score 72 · Answer 2 · 2026-04-13 20:03:28

72

Views

Projections of trees in transitive models of set theory

Published on 13 Apr 2026 - 20:03

score 293 · Answer 3 · 2026-04-12 02:51:01

293

Views

Interesting consequences of $2^{\aleph_0} = \aleph_2$?

Published on 12 Apr 2026 - 2:51

score 93 · Answer 4 · 2026-04-11 05:57:39

93

Views

What does this ZF+[AOC-Lite] Look Like?

Published on 11 Apr 2026 - 5:57

score 123 · Answer 5 · 2026-04-08 20:12:38

123

Views

Given an ordinal $(\alpha,\in)$, how do I find a subset of rationals which is isomorphic to it?

Published on 08 Apr 2026 - 20:12

score 248 · Answer 6 · 2026-04-13 12:57:34

248

Views

The intersection of a class of ordinals belongs to that class

Published on 13 Apr 2026 - 12:57

score 124 · Answer 7 · 2026-04-13 03:03:30

124

Views

Does exist a singular cardinal $\lambda$ which $\kappa < \lambda \implies 2^{\kappa}<\lambda?$

Published on 13 Apr 2026 - 3:03

score 219 · Answer 8 · 2026-04-12 02:45:35

219

Views

What is lost if we completely exclude free variables from ZFC?

Published on 12 Apr 2026 - 2:45

score 85 · Answer 9 · 2026-04-10 13:46:10

85

Views

How would one go about proving an infinite set is a set?

Published on 10 Apr 2026 - 13:46

score 308 · Answer 10 · 2026-04-12 19:13:01

308

Views

The most difficult way of proving that a countable union of countable sets is countable

Published on 12 Apr 2026 - 19:13

score 296 · Answer 11 · 2026-04-14 23:31:06

296

Views

free ultrafilters on $\mathbb{N}$

Published on 14 Apr 2026 - 23:31

score 257 · Answer 12 · 2026-04-08 20:32:52

257

Views

Impredicativity in first order logic

Published on 08 Apr 2026 - 20:32

score 102 · Answer 13 · 2026-04-14 03:11:40

102

Views

What's a good way to get an intuition for making forcing posets?

Published on 14 Apr 2026 - 3:11

score 197 · Answer 14 · 2026-04-12 02:40:32

197

Views

Does the Continuum hypothesis say anything about the cardinality of the set $3^{{\aleph}_0}$?

Published on 12 Apr 2026 - 2:40

score 115 · Answer 15 · 2026-04-14 06:17:32

115

Views

Over ZF, does CUCSCS imply that every infinite set is Dedekind-infinite? (C: Countable, etc.)

Published on 14 Apr 2026 - 6:17

List Question

Why does $1+\omega=\omega$ with ordinal addition

Projections of trees in transitive models of set theory

Interesting consequences of $2^{\aleph_0} = \aleph_2$?

What does this ZF+[AOC-Lite] Look Like?

Given an ordinal $(\alpha,\in)$, how do I find a subset of rationals which is isomorphic to it?

The intersection of a class of ordinals belongs to that class

Does exist a singular cardinal $\lambda$ which $\kappa < \lambda \implies 2^{\kappa}<\lambda?$

What is lost if we completely exclude free variables from ZFC?

How would one go about proving an infinite set is a set?

The most difficult way of proving that a countable union of countable sets is countable

free ultrafilters on $\mathbb{N}$

Impredicativity in first order logic

What's a good way to get an intuition for making forcing posets?

Does the Continuum hypothesis say anything about the cardinality of the set $3^{{\aleph}_0}$?

Over ZF, does CUCSCS imply that every infinite set is Dedekind-infinite? (C: Countable, etc.)

Trending Questions

Popular # Hahtags

Popular Questions