Question

Why is Axiom of Pairing needed?

score 2.5k · Answer 1 · 2026-04-10 18:21:41

2.5k

Views

Why is Axiom of Pairing needed?

Published on 10 Apr 2026 - 18:21

score 532 · Answer 2 · 2026-04-08 23:17:22

532

Views

Why is Axiom of Choice "a convenient and safe labour-saving device"?

Published on 08 Apr 2026 - 23:17

score 92 · Answer 3 · 2026-04-15 18:06:28

92

Views

$U \subset \operatorname{def}(U) \subset P(U)$ for all $U$?

Published on 15 Apr 2026 - 18:06

score 92 · Answer 4 · 2026-04-13 22:19:34

92

Views

Transfinite induction and circles on the plane

Published on 13 Apr 2026 - 22:19

score 244 · Answer 5 · 2026-04-12 05:27:45

244

Views

Proving that $HC\subset V_{\omega_1}$

Published on 12 Apr 2026 - 5:27

score 106 · Answer 6 · 2026-04-16 02:32:49

106

Views

If $\psi(x,\ldots)$ is a $\Delta_0$-formula then $\neg\psi(x,\ldots)$ if and only if $||\psi(\check{x},\ldots)||=0$

Published on 16 Apr 2026 - 2:32

score 156 · Answer 7 · 2026-04-10 20:29:43

156

Views

Is ZFC a first- or third-order theory?

Published on 10 Apr 2026 - 20:29

score 108 · Answer 8 · 2026-04-14 14:16:50

108

Views

Is the second completeness axiom for V really needed for Ackermann set theory to interpret ZF?

Published on 14 Apr 2026 - 14:16

score 404 · Answer 9 · 2026-04-17 02:17:43

404

Views

If $\alpha$ is an ordinal set and $\beta\in\alpha$ then $\beta$ is an ordinal set also

Published on 17 Apr 2026 - 2:17

score 133 · Answer 10 · 2026-04-15 12:15:14

133

Views

Can we add a ordinal bigger than every other ordinal and end up with a transitive model?

Published on 15 Apr 2026 - 12:15

score 106 · Answer 11 · 2026-04-10 17:55:30

106

Views

Is the definability axiom schema consistent with ZF?

Published on 10 Apr 2026 - 17:55

score 79 · Answer 12 · 2026-04-13 12:13:58

79

Views

Caracterization of Ordinal Exponentiation:

Published on 13 Apr 2026 - 12:13

score 116 · Answer 13 · 2026-04-16 13:31:51

116

Views

Why does an M-Ultrafilter on $\kappa$ imply that $\kappa$ is weakly compact?

Published on 16 Apr 2026 - 13:31

score 69 · Answer 14 · 2026-04-15 10:41:21

69

Views

Each element of a class is a set

Published on 15 Apr 2026 - 10:41

score 112 · Answer 15 · 2026-04-15 23:42:47

112

Views

Proving the categoricity of an extension of ZFC2

Published on 15 Apr 2026 - 23:42

List Question

Why is Axiom of Pairing needed?

Why is Axiom of Choice "a convenient and safe labour-saving device"?

$U \subset \operatorname{def}(U) \subset P(U)$ for all $U$?

Transfinite induction and circles on the plane

Proving that $HC\subset V_{\omega_1}$

If $\psi(x,\ldots)$ is a $\Delta_0$-formula then $\neg\psi(x,\ldots)$ if and only if $||\psi(\check{x},\ldots)||=0$

Is ZFC a first- or third-order theory?

Is the second completeness axiom for V really needed for Ackermann set theory to interpret ZF?

If $\alpha$ is an ordinal set and $\beta\in\alpha$ then $\beta$ is an ordinal set also

Can we add a ordinal bigger than every other ordinal and end up with a transitive model?

Is the definability axiom schema consistent with ZF?

Caracterization of Ordinal Exponentiation:

Why does an M-Ultrafilter on $\kappa$ imply that $\kappa$ is weakly compact?

Each element of a class is a set

Proving the categoricity of an extension of ZFC2

Trending Questions

Popular # Hahtags

Popular Questions