Question

Can there be an infinite $\kappa$ with $\kappa\to(\omega)^\omega_2$ in $\mathsf{ZF}$?

score 152 · Answer 1 · 2026-04-14 21:37:55

152

Views

Can there be an infinite $\kappa$ with $\kappa\to(\omega)^\omega_2$ in $\mathsf{ZF}$?

Published on 14 Apr 2026 - 21:37

score 152 · Answer 2 · 2026-04-16 03:02:58

152

Views

Why doesn't the construction of $\mathbb{N}$ through ordinals in ZFC violate Gödel's Incompleteness Theorem?

Published on 16 Apr 2026 - 3:02

score 129 · Answer 3 · 2026-04-13 09:45:15

129

Views

Is $\aleph_1\cdot\mathfrak c=2^\mathfrak c$ consistent with ZF?

Published on 13 Apr 2026 - 9:45

score 243 · Answer 4 · 2026-04-13 22:24:52

243

Views

Is Halmos' use of the Axiom of Substitution wrong in Ch. 19 Naive Set Theory?

Published on 13 Apr 2026 - 22:24

score 462 · Answer 5 · 2026-04-17 11:38:15

462

Views

Is there a finite abelian category?

Published on 17 Apr 2026 - 11:38

score 545 · Answer 6 · 2026-04-09 05:40:12

545

Views

Fixed points of ordinal exponentiation for bases besides $\omega$

Published on 09 Apr 2026 - 5:40

score 269 · Answer 7 · 2026-04-11 06:03:55

269

Views

Different definition of Veblen functions

Published on 11 Apr 2026 - 6:03

score 225 · Answer 8 · 2026-04-15 22:40:06

225

Views

cardinality of all cardinal numbers less than a cardinal number

Published on 15 Apr 2026 - 22:40

score 75 · Answer 9 · 2026-04-15 16:33:38

75

Views

Cardinal number of the Banach space $c_0(A)$

Published on 15 Apr 2026 - 16:33

score 46 · Answer 10 · 2026-04-16 11:30:45

46

Views

Do filters correspond to the collection of their ultrafilter extensions?

Published on 16 Apr 2026 - 11:30

score 146 · Answer 11 · 2026-04-12 22:55:43

146

Views

How do we qualify the successor function and other maps of large classes?

Published on 12 Apr 2026 - 22:55

score 120 · Answer 12 · 2026-04-14 10:31:52

120

Views

How to prove that a filter intersects all the dense sets?

Published on 14 Apr 2026 - 10:31

score 648 · Answer 13 · 2026-04-15 03:13:48

648

Views

collection of all functions is a proper class

Published on 15 Apr 2026 - 3:13

score 89 · Answer 14 · 2026-04-11 17:38:04

89

Views

Every class is a subclass of the universe

Published on 11 Apr 2026 - 17:38

score 337 · Answer 15 · 2026-04-14 01:18:02

337

Views

The Scope of Axiomatic Set Theory

Published on 14 Apr 2026 - 1:18

List Question

Can there be an infinite $\kappa$ with $\kappa\to(\omega)^\omega_2$ in $\mathsf{ZF}$?

Why doesn't the construction of $\mathbb{N}$ through ordinals in ZFC violate Gödel's Incompleteness Theorem?

Is $\aleph_1\cdot\mathfrak c=2^\mathfrak c$ consistent with ZF?

Is Halmos' use of the Axiom of Substitution wrong in Ch. 19 Naive Set Theory?

Is there a finite abelian category?

Fixed points of ordinal exponentiation for bases besides $\omega$

Different definition of Veblen functions

cardinality of all cardinal numbers less than a cardinal number

Cardinal number of the Banach space $c_0(A)$

Do filters correspond to the collection of their ultrafilter extensions?

How do we qualify the successor function and other maps of large classes?

How to prove that a filter intersects all the dense sets?

collection of all functions is a proper class

Every class is a subclass of the universe

The Scope of Axiomatic Set Theory

Trending Questions

Popular # Hahtags

Popular Questions