Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present a list of open questions in reverse mathematics, including some relevant background information for each question. We… Expand
Is this relevant?
2005
2005
  • Hajime Ishihara
  • From sets and types to topology and analysis
  • 2005
  • Corpus ID: 118764760
Seals for the edge of a pivoted blade are provided in which an elongated strip of rigid material of U-shaped cross-section having… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present an elementary proof of the quantum de Finetti representation theorem, a quantum analog of de Finetti’s classical… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstract The effects of briefly presented, masked, and orthographically and/or phonologically related nonword primes on the… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We show that the problem of pricing the American put is equivalent to solving an optimal stopping problem. the optimal stopping… Expand
Is this relevant?
Highly Cited
1982
Highly Cited
1982
We define the set of planar boolean formulae, and then show that the set of true quantified planar formulae is polynomial space… Expand
  • figure 2
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1982
Highly Cited
1982
The determinants of food choices made by hunter-gatherers have long been a topic of speculation and controversy. In this paper… Expand
Is this relevant?
Highly Cited
1981
Highly Cited
1981
The application of indentation techniques to the evaluation of fracture toughness is examined critically, in two parts. In this… Expand
  • figure 1
  • table I
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
1978
Highly Cited
1978
A method is proposed for deriving and classifying relativistically invariant integrable systems that are sufficiently general to… Expand
Is this relevant?
Highly Cited
1977
Highly Cited
1977
bocker News-Union Star, Feb. 15, 1971. [51] C. Daniel and F. S. Woods, Fitting Equations to Data. New York: Wiley, 1971, p. 32… Expand
Is this relevant?