Reverse mathematics

Known as: Constructive reverse mathematics, Arithmetical transfinite recursion, Weak König's lemma 
Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2018
0102019812018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The objective of this paper is to provide a source of open questions in reverse mathematics and to point to areas where there… (More)
Is this relevant?
2006
2006
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a… (More)
Is this relevant?
2005
2005
This is joint work with Carl Mummert. We initiate the reverse mathematics of general topology. We show that a certain metrization… (More)
Is this relevant?
2000
2000
2000
Suppose that f : [N]k → N. A set A ⊆ N is free for f if for all x1, . . . , xk ∈ A with x1 < x2 < · · · < xk , f (x1, . . . , xk… (More)
Is this relevant?
2000
2000
LetX be a compact metric space. A closed setK ⊆ X is located if the distance function d(x,K) exists as a continuous realvalued… (More)
Is this relevant?
1999
1999
We present some formal systems in the language of linearly ordered rings with finite sets whose nonlogical axioms are strictly… (More)
Is this relevant?
1999
1999
One of the earliest applications of Cantor’s Normal Form Theorem is Jacobstahl’s proof of the existence of prime factorizations… (More)
Is this relevant?
1998
1998
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by… (More)
Is this relevant?
1994
1994
Hirst, 1.L., Reverse mathematics and ordinal exponentiation, Annals of Pure and Applied Logic 66 (1994) 1-18. Simpson has claimed… (More)
Is this relevant?