Question

Self-Similar Reverse-Sum Sequences

score 404 · Answer 1 · 2016-07-04 00:41:38

404

Views

Self-Similar Reverse-Sum Sequences

Published on 04 Jul 2016 - 0:41

score 187 · Answer 2 · 2013-05-15 02:10:03

187

Views

Analytic method for number theory-do we have to assert second-order logic?

Published on 15 May 2013 - 2:10

score 568 · Answer 3 · 2013-09-14 01:56:33

568

Views

Why is bounded induction stronger than open induction?

Published on 14 Sep 2013 - 1:56

score 228 · Answer 4 · 2013-09-14 20:59:54

228

Views

Is open induction as strong as bounded induction without free bounds?

Published on 14 Sep 2013 - 20:59

score 280 · Answer 5 · 2013-09-15 03:18:30

280

Views

Where is the least upper bound property used in transcendence proofs?

Published on 15 Sep 2013 - 3:18

score 172 · Answer 6 · 2013-09-16 03:06:16

172

Views

How strong is ramified predicative second-order arithmetic?

Published on 16 Sep 2013 - 3:06

score 690 · Answer 7 · 2013-09-16 12:36:42

690

Views

How is the Kleene normal form theorem for $\Sigma^1_1$ relations proved in RCA0?

Published on 16 Sep 2013 - 12:36

score 668 · Answer 8 · 2013-10-02 20:32:29

668

Views

What is the proof-theoretic ordinal of the first-order theory of real closed fields?

Published on 02 Oct 2013 - 20:32

score 181 · Answer 9 · 2026-03-25 01:31:26

181

Views

How much arithmetic can Predicative Second-Order EFA do?

Published on 25 Mar 2026 - 1:31

score 209 · Answer 10 · 2014-01-01 15:01:54

209

Views

What is the proof-theoretic strength of the predicative second-order theory of real numbers?

Published on 01 Jan 2014 - 15:01

score 167 · Answer 11 · 2014-01-16 17:48:46

167

Views

What subsystem of second-order arithmetic can interpret the theory of real closed fields?

Published on 16 Jan 2014 - 17:48

score 2.3k · Answer 12 · 2014-02-02 23:14:54

2.3k

Views

Constructiveness of Proof of Gödel's Completeness Theorem

Published on 02 Feb 2014 - 23:14

score 333 · Answer 13 · 2017-05-08 20:17:12

333

Views

Could we take certain results as axioms and prove the original axioms using our new ones?

Published on 08 May 2017 - 20:17

score 92 · Answer 14 · 2017-07-26 23:05:22

92

Views

What is the reverse mathematical strength of the assumption of the existence of a nontrivial ultrafilter?

Published on 26 Jul 2017 - 23:05

score 516 · Answer 15 · 2017-10-31 15:09:30

516

Views

Properties of the Collatz map necessary to prove Collatz Conjecture

Published on 31 Oct 2017 - 15:09

List Question

Self-Similar Reverse-Sum Sequences

Analytic method for number theory-do we have to assert second-order logic?

Why is bounded induction stronger than open induction?

Is open induction as strong as bounded induction without free bounds?

Where is the least upper bound property used in transcendence proofs?

How strong is ramified predicative second-order arithmetic?

How is the Kleene normal form theorem for $\Sigma^1_1$ relations proved in RCA0?

What is the proof-theoretic ordinal of the first-order theory of real closed fields?

How much arithmetic can Predicative Second-Order EFA do?

What is the proof-theoretic strength of the predicative second-order theory of real numbers?

What subsystem of second-order arithmetic can interpret the theory of real closed fields?

Constructiveness of Proof of Gödel's Completeness Theorem

Could we take certain results as axioms and prove the original axioms using our new ones?

What is the reverse mathematical strength of the assumption of the existence of a nontrivial ultrafilter?

Properties of the Collatz map necessary to prove Collatz Conjecture

Trending Questions

Popular # Hahtags

Popular Questions