Question

Dependence of axioms of Zermelo set theory

score 281 · Answer 1 · 2015-04-16 07:51:41

281

Views

Dependence of axioms of Zermelo set theory

Published on 16 Apr 2015 - 7:51

score 66 · Answer 2 · 2026-03-26 04:32:39

66

Views

Is there a standard name for using a function application, rather than a variable, as a summation index, as in $\sum_{f(x)}$?

Published on 26 Mar 2026 - 4:32

score 127 · Answer 3 · 2026-03-25 09:27:15

127

Views

Using the notion of provability only, how to show that $\Gamma \nvdash \varphi$?

Published on 25 Mar 2026 - 9:27

score 85 · Answer 4 · 2015-06-06 18:11:40

85

Views

Prove $ A \supset B , B \supset C \vdash A \supset C $

Published on 06 Jun 2015 - 18:11

score 136 · Answer 5 · 2015-06-07 12:16:26

136

Views

Prove the Dual-Converse Relationship

Published on 07 Jun 2015 - 12:16

score 2.8k · Answer 6 · 2015-06-10 03:35:24

2.8k

Views

Is this visual analogy to Gödel's incompleteness theorem accurate?

Published on 10 Jun 2015 - 3:35

score 891 · Answer 7 · 2015-06-21 08:48:26

891

Views

Primitive recursion and $\Delta^0_0$

Published on 21 Jun 2015 - 8:48

score 306 · Answer 8 · 2015-06-30 15:15:19

306

Views

Relationship between completeness and well ordering (meta).

Published on 30 Jun 2015 - 15:15

score 206 · Answer 9 · 2015-06-30 19:09:15

206

Views

Connection regularity in measure theory and approximation in premeasure

Published on 30 Jun 2015 - 19:09

score 66 · Answer 10 · 2015-07-08 18:13:26

66

Views

Separability in Algebra and Topology

Published on 08 Jul 2015 - 18:13

score 135 · Answer 11 · 2015-07-12 20:49:56

135

Views

Help understand theorem that any set of first order sentences satisfied by N has a model that's a strict superset of N.

Published on 12 Jul 2015 - 20:49

score 234 · Answer 12 · 2015-08-07 13:28:28

234

Views

Given any set of consistent axioms, is it always possible to find a model for these axioms in ZFC set theory?

Published on 07 Aug 2015 - 13:28

score 577 · Answer 13 · 2015-08-31 13:21:52

577

Views

Why in general there is no systematic way to find counterexamples? What kind of property do they all break that lead to this? and other things

Published on 31 Aug 2015 - 13:21

score 181 · Answer 14 · 2015-10-05 17:52:43

181

Views

understanding the reducibility axiom

Published on 05 Oct 2015 - 17:52

score 121 · Answer 15 · 2026-03-25 16:01:26

121

Views

Order of Parentheses is Irrelevant: Metatheorem?

Published on 25 Mar 2026 - 16:01

List Question

Dependence of axioms of Zermelo set theory

Is there a standard name for using a function application, rather than a variable, as a summation index, as in $\sum_{f(x)}$?

Using the notion of provability only, how to show that $\Gamma \nvdash \varphi$?

Prove $ A \supset B , B \supset C \vdash A \supset C $

Prove the Dual-Converse Relationship

Is this visual analogy to Gödel's incompleteness theorem accurate?

Primitive recursion and $\Delta^0_0$

Relationship between completeness and well ordering (meta).

Connection regularity in measure theory and approximation in premeasure

Separability in Algebra and Topology

Help understand theorem that any set of first order sentences satisfied by N has a model that's a strict superset of N.

Given any set of consistent axioms, is it always possible to find a model for these axioms in ZFC set theory?

Why in general there is no systematic way to find counterexamples? What kind of property do they all break that lead to this? and other things

understanding the reducibility axiom

Order of Parentheses is Irrelevant: Metatheorem?

Trending Questions

Popular # Hahtags

Popular Questions