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… 
Highly Cited
1993
Highly Cited
1993
New Sicydiine-Gobies from Ponape and Palau, Micronesia, with Comments on Systematics of the Subfamily Sicydiinae (Teleostei, Gobiidae)
Five species of the rock-climbing, gobiid subfamily Sicydiinae are now known from Ponape, Eastern Caroline Islands, Micronesia… 
1985
1985
The primary periodic paralyses
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… 
1980
1980
Gauging The Boundaries Of Second Language Competence: A Study Of Learner Judgments
Second language learners can make judgments as to the acceptability of verbal sequences in a target language text. However, such… 
1978
1978
Repulsion parameters of ions and radicals-application to perovskite structures
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)