Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
Algorithmically random sequenceAnalytical hierarchyArithmetical hierarchyBar induction

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Fast Sign Detection for RNS $(2^{n}-1,2^{n},2^{n}+1)$
In this paper, we propose a fast algorithm for sign-extraction of a number given in the Residue Number System (2n-1,2n,2n+1… 
2006
2006
Relever les défis environnementaux pour les filières cotonnières d'Afrique de l'Ouest et du Centre
L’extension de la culture cotonniere en Afrique de l’Ouest et du Centre entraine des consequences negatives pour l’environnement… 
1991
1991
Genetic Interactions between White-Tailed and Mule Deer in the Southwestern United States
In used protein electrophoresis to estimate the degree of genetic exchange between white-tailed deer (Odocoileus virginianus) and… 
1988
1988
Fixed capital within the Sraffa framework
Von N e u m a n n (1936) and Sraffa (1960) have bo th revised the "o ld classical idea" o f t reat ing old machines left at the… 
1983
1983
Correlation between glasshouse and field tests for resistance to foliage blight caused byPhytophthora infestans
SummaryBreeders' selections are assessed for resistance to foliage blight (Phytophthora infestans (Mont.) de Bary) at the… 
1980
1980
In search of the mechanisms of anaesthesia
Review
1980
Review
1980
An Exploratory Analysis of Microcosm and Ecosystem Behavior Using Multivariate Techniques
A conservative data set was chosen to describe ecosystem behavior: total zooplankton (mg dry wt m-3), chlorophyll a (W I… 
1978
1978
Repulsion parameters of ions and radicals-application to perovskite structures
1977
1977
Destruction of trapped-particle oscillations
In the small-cold-beam limit, the beam-plasma instability is identical to the interaction in a traveling wave tube. We built a… 
Highly Cited
1976
Highly Cited
1976
Structural deformation of the Idaho-Wyoming overthrust belt (U.S.A.), as determined by Triassic paleomagnetism
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)