Question

Trouble understanding a property of ordinals

score 81 · Answer 1 · 2026-04-12 03:58:37

81

Views

Trouble understanding a property of ordinals

Published on 12 Apr 2026 - 3:58

score 457 · Answer 2 · 2026-04-12 09:17:16

457

Views

Sets that contain themselves in ZFC

Published on 12 Apr 2026 - 9:17

score 378 · Answer 3 · 2026-04-13 14:27:57

378

Views

Does the set of all finite sets exist according to ZFC?

Published on 13 Apr 2026 - 14:27

score 246 · Answer 4 · 2026-04-10 21:52:33

246

Views

Some properties of $L[A]$ (Constructible universe relativized to $A$)

Published on 10 Apr 2026 - 21:52

score 352 · Answer 5 · 2026-04-10 19:38:15

352

Views

How does the Axiom of Choice affect the ability to determine that $|\mathcal{P}(\omega)|$ is an uncountable cardinal

Published on 10 Apr 2026 - 19:38

score 180 · Answer 6 · 2026-04-11 23:23:16

180

Views

Can an infinite subset of $\omega$ be Dedekind-finite in ZF?

Published on 11 Apr 2026 - 23:23

score 228 · Answer 7 · 2026-04-11 23:13:38

228

Views

Question on a proof of Kuratowski's Theorem in Kechris's Classical Descriptive Set Theory

Published on 11 Apr 2026 - 23:13

score 163 · Answer 8 · 2026-04-15 06:08:05

163

Views

Adding $\kappa$ Cohen reals, sets of hereditary cardinality $<\kappa$ are in some intermediate model.

Published on 15 Apr 2026 - 6:08

score 220 · Answer 9 · 2026-04-11 21:37:33

220

Views

Is Foundation equivalent to $\forall_x (x \in V)$ in ZF-Foundation?

Published on 11 Apr 2026 - 21:37

score 88 · Answer 10 · 2026-04-11 21:34:31

88

Views

Putting a total ordering into set theory compatible with the Ackermann interpretation on $V_\omega$.

Published on 11 Apr 2026 - 21:34

score 53 · Answer 11 · 2026-04-15 13:16:12

53

Views

Names determined by a condition

Published on 15 Apr 2026 - 13:16

score 145 · Answer 12 · 2026-04-10 21:47:27

145

Views

Is there an algorithm for extending a complete set theory to one with classes?

Published on 10 Apr 2026 - 21:47

score 43 · Answer 13 · 2026-04-14 22:19:01

43

Views

Schröder–Bernstein theorem for finite sets

Published on 14 Apr 2026 - 22:19

score 231 · Answer 14 · 2026-04-15 14:42:53

231

Views

Show that for $\xi>1,$ $A \text{ is } \Delta_{\xi+1}^0 \iff A=\lim_nA_n\text{ for some } A_n\in\Delta_\xi^0.$

Published on 15 Apr 2026 - 14:42

score 90 · Answer 15 · 2026-04-13 04:05:47

90

Views

Transitive models of ZFC with satisfaction of formulas without any models(?)

Published on 13 Apr 2026 - 4:05

List Question

Trouble understanding a property of ordinals

Sets that contain themselves in ZFC

Does the set of all finite sets exist according to ZFC?

Some properties of $L[A]$ (Constructible universe relativized to $A$)

How does the Axiom of Choice affect the ability to determine that $|\mathcal{P}(\omega)|$ is an uncountable cardinal

Can an infinite subset of $\omega$ be Dedekind-finite in ZF?

Question on a proof of Kuratowski's Theorem in Kechris's Classical Descriptive Set Theory

Adding $\kappa$ Cohen reals, sets of hereditary cardinality $<\kappa$ are in some intermediate model.

Is Foundation equivalent to $\forall_x (x \in V)$ in ZF-Foundation?

Putting a total ordering into set theory compatible with the Ackermann interpretation on $V_\omega$.

Names determined by a condition

Is there an algorithm for extending a complete set theory to one with classes?

Schröder–Bernstein theorem for finite sets

Show that for $\xi>1,$ $A \text{ is } \Delta_{\xi+1}^0 \iff A=\lim_nA_n\text{ for some } A_n\in\Delta_\xi^0.$

Transitive models of ZFC with satisfaction of formulas without any models(?)

Trending Questions

Popular # Hahtags

Popular Questions