Question

Does Second-Order Comprehension make second-order ZFC inconsistent due to Russell's Paradox?

score 297 · Answer 1 · 2016-04-12 10:44:21

297

Views

Does Second-Order Comprehension make second-order ZFC inconsistent due to Russell's Paradox?

Published on 12 Apr 2016 - 10:44

score 374 · Answer 2 · 2016-04-16 14:36:25

374

Views

What is a universal function in model theory?

Published on 16 Apr 2016 - 14:36

score 456 · Answer 3 · 2016-04-19 00:23:50

456

Views

Properties of an elementary substructure

Published on 19 Apr 2016 - 0:23

score 108 · Answer 4 · 2026-03-25 07:38:18

108

Views

Quantifier Elimination Tree

Published on 25 Mar 2026 - 7:38

score 162 · Answer 5 · 2016-04-20 16:08:03

162

Views

Application of compactness theorem: finite exponent groups

Published on 20 Apr 2016 - 16:08

score 87 · Answer 6 · 2026-03-30 10:25:18

87

Views

Does equivalence of algebraic categories imply bi-interpratibility of their theories?

Published on 30 Mar 2026 - 10:25

score 125 · Answer 7 · 2016-04-21 10:14:13

125

Views

Definable subset of the additive theory of integers

Published on 21 Apr 2016 - 10:14

score 302 · Answer 8 · 2016-04-24 14:56:00

302

Views

Surjective exponentials for algebraically closed fields

Published on 24 Apr 2016 - 14:56

score 51 · Answer 9 · 2016-04-24 22:11:14

51

Views

Definition of an ideal in a L-language

Published on 24 Apr 2016 - 22:11

score 46 · Answer 10 · 2016-04-24 22:27:26

46

Views

Find a $\mathcal{L}$-formula to fullfill a condition

Published on 24 Apr 2016 - 22:27

score 94 · Answer 11 · 2026-04-02 10:14:42

94

Views

Every $\alpha < \kappa^+$ can be embedded in any interval of $\kappa^{<\omega}$.

Published on 02 Apr 2026 - 10:14

score 223 · Answer 12 · 2016-04-27 00:06:32

223

Views

why can't this proof of Löwenheim-Skolem Theorem be shorter?

Published on 27 Apr 2016 - 0:06

score 300 · Answer 13 · 2026-04-05 02:35:36

300

Views

Ultraproduct with no long descending sequence

Published on 05 Apr 2026 - 2:35

score 147 · Answer 14 · 2016-04-28 14:44:28

147

Views

Are isomorphisms between finitely generated substructures determined on a set of generators?

Published on 28 Apr 2016 - 14:44

score 94 · Answer 15 · 2026-04-02 11:35:50

94

Views

Ordinal pair $(α,β)$ such that $α<β$ and $Th(α,<) = Th(β,<)$

Published on 02 Apr 2026 - 11:35

List Question

Does Second-Order Comprehension make second-order ZFC inconsistent due to Russell's Paradox?

What is a universal function in model theory?

Properties of an elementary substructure

Quantifier Elimination Tree

Application of compactness theorem: finite exponent groups

Does equivalence of algebraic categories imply bi-interpratibility of their theories?

Definable subset of the additive theory of integers

Surjective exponentials for algebraically closed fields

Definition of an ideal in a L-language

Find a $\mathcal{L}$-formula to fullfill a condition

Every $\alpha < \kappa^+$ can be embedded in any interval of $\kappa^{<\omega}$.

why can't this proof of Löwenheim-Skolem Theorem be shorter?

Ultraproduct with no long descending sequence

Are isomorphisms between finitely generated substructures determined on a set of generators?

Ordinal pair $(α,β)$ such that $α<β$ and $Th(α,<) = Th(β,<)$

Trending Questions

Popular # Hahtags

Popular Questions