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.
2017
2017
High-performance RF-sputtered Bi-substituted iron garnet thin films with almost in-plane magnetization
Abstract: Bismuth-substituted iron garnet thin films of high quality are prepared by using RF magnetron sputtering technique in… 
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
1995
Highly Cited
1995
The Efficient Scope of Private Transactions-Cost-Reducing Institutions: The Successes and Failures of Commodity Exchanges
Commodity exchanges historically have served as private organizations that govern contractual relations between market… 
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)