List questions from reverse-math

Published on 07 Nov 2017 - 17:49

77

Views

Relation between $WKL$ and $KL$ over $RCA_0$

Published on 14 Nov 2017 - 18:55

179

Views

When do we need the axiom of choice to prove the existence of a basis?

Published on 28 Nov 2017 - 3:56

161

Views

Mathematical jeopardy with differential equations

Published on 19 Dec 2017 - 16:20

548

Views

Reverse Mathematics of Well-Orderings

Published on 27 Aug 2011 - 3:38

100

Views

Determinacy of Negation of Class of Formula

Published on 22 Dec 2011 - 1:37

216

Views

Why do $\omega$-models of subsystems of $\mathsf{Z}_2$ satisfy full induction?

Published on 19 Feb 2012 - 15:12

437

Views

How does adding the full second order induction scheme affect the consistency strength of subsystems of second order arithmetic?

Published on 28 Apr 2012 - 18:29

284

Views

Complexity of the computable entailment relation

Published on 02 Jul 2012 - 16:15

369

Views

Is the Kleene/Brouwer ordering dense?

Published on 13 Jul 2012 - 17:07

155

Views

Existence of sequence of rational numbers in $RCA_0$

Published on 28 Aug 2012 - 18:26

229

Views

Ring Theory and Induction

Published on 29 Nov 2012 - 3:34

159

Views

$\omega-$model for $RCA_0$ and Proof of Ramsey's Theorem in $ACA_0$

Published on 22 Jan 2013 - 17:44

392

Views

Why Does Induction Prove Multiplication is Commutative?

Published on 26 Jan 2013 - 20:23

250

Views

Brouwer's fixed point theorem for infinite dimensional real space in subsystems of second order arithmetic

Published on 27 Jan 2013 - 9:47

List Question

Equivalence of statements over $RCA_0$

Relation between $WKL$ and $KL$ over $RCA_0$

When do we need the axiom of choice to prove the existence of a basis?

Mathematical jeopardy with differential equations

Reverse Mathematics of Well-Orderings

Determinacy of Negation of Class of Formula

Why do $\omega$-models of subsystems of $\mathsf{Z}_2$ satisfy full induction?

How does adding the full second order induction scheme affect the consistency strength of subsystems of second order arithmetic?

Complexity of the computable entailment relation

Is the Kleene/Brouwer ordering dense?

Existence of sequence of rational numbers in $RCA_0$

Ring Theory and Induction

$\omega-$model for $RCA_0$ and Proof of Ramsey's Theorem in $ACA_0$

Why Does Induction Prove Multiplication is Commutative?

Brouwer's fixed point theorem for infinite dimensional real space in subsystems of second order arithmetic

Trending Questions

Popular # Hahtags

Popular Questions