Question

Is the style of _Scott 1967_ outdated in discussing continuum hypothesis in a probability space?

score 142 · Answer 1 · 2026-04-12 19:38:04

142

Views

Is the style of _Scott 1967_ outdated in discussing continuum hypothesis in a probability space?

Published on 12 Apr 2026 - 19:38

score 298 · Answer 2 · 2026-04-09 00:10:10

298

Views

How do set theories base on Intuitionistic Logic deal with ordinals?

Published on 09 Apr 2026 - 0:10

score 202 · Answer 3 · 2026-04-16 09:10:58

202

Views

Collections, classes, sets

Published on 16 Apr 2026 - 9:10

score 197 · Answer 4 · 2026-04-14 11:41:26

197

Views

do we need transfinite recursion theorem and/or transfinit induction principle to define ordinals?

Published on 14 Apr 2026 - 11:41

score 61 · Answer 5 · 2026-04-12 04:59:25

61

Views

Show that $\delta_\eta=\aleph_{\delta_\eta}$ for all limit ordinals

Published on 12 Apr 2026 - 4:59

score 133 · Answer 6 · 2026-04-09 01:02:46

133

Views

Algebraic theories, the category Set, and natural transformations

Published on 09 Apr 2026 - 1:02

score 109 · Answer 7 · 2026-04-15 06:40:24

109

Views

From GCH straight to cardinal arithmetic = max?

Published on 15 Apr 2026 - 6:40

score 605 · Answer 8 · 2026-04-09 02:40:01

605

Views

Misunderstanding Löwenheim–Skolem

Published on 09 Apr 2026 - 2:40

score 422 · Answer 9 · 2026-04-09 12:55:55

422

Views

Advantages of finite axiomatizability

Published on 09 Apr 2026 - 12:55

score 321 · Answer 10 · 2026-04-12 13:46:19

321

Views

Some question on ranks of elements in a finite transitive closure

Published on 12 Apr 2026 - 13:46

score 138 · Answer 11 · 2026-04-16 09:36:56

138

Views

Show that $\textbf{ZF}$ shows $\phi$ is $\Delta_1$

Published on 16 Apr 2026 - 9:36

score 805 · Answer 12 · 2026-04-10 16:23:30

805

Views

Is the Natural numbers definition (recursively using empty set) Circular?

Published on 10 Apr 2026 - 16:23

score 180 · Answer 13 · 2026-04-09 00:06:42

180

Views

"Synthetic" proof of a theorem about nice names.

Published on 09 Apr 2026 - 0:06

score 174 · Answer 14 · 2026-04-15 23:17:26

174

Views

If $\alpha$ is an ordinal number, prove that $\bigcup(\alpha+1)=\alpha$

Published on 15 Apr 2026 - 23:17

score 95 · Answer 15 · 2026-04-15 16:58:20

95

Views

Does $M^\beta\subseteq M$ imply $M_\beta = V_\beta$?

Published on 15 Apr 2026 - 16:58

List Question

Is the style of _Scott 1967_ outdated in discussing continuum hypothesis in a probability space?

How do set theories base on Intuitionistic Logic deal with ordinals?

Collections, classes, sets

do we need transfinite recursion theorem and/or transfinit induction principle to define ordinals?

Show that $\delta_\eta=\aleph_{\delta_\eta}$ for all limit ordinals

Algebraic theories, the category Set, and natural transformations

From GCH straight to cardinal arithmetic = max?

Misunderstanding Löwenheim–Skolem

Advantages of finite axiomatizability

Some question on ranks of elements in a finite transitive closure

Show that $\textbf{ZF}$ shows $\phi$ is $\Delta_1$

Is the Natural numbers definition (recursively using empty set) Circular?

"Synthetic" proof of a theorem about nice names.

If $\alpha$ is an ordinal number, prove that $\bigcup(\alpha+1)=\alpha$

Does $M^\beta\subseteq M$ imply $M_\beta = V_\beta$?

Trending Questions

Popular # Hahtags

Popular Questions