Reverse Mathematics

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf field of mathematical logic
gptkbp:aimsTo determine minimal axioms needed to prove theorems
gptkbp:analyzes theorems of ordinary mathematics
gptkbp:developedBy gptkb:Harvey_Friedman
gptkbp:focusesOn subsystems of second-order arithmetic
gptkbp:hasConcept base theory
conservation results
equivalence of theorems and axioms
reverse implications
gptkbp:hasNotableResult many classical theorems are equivalent to subsystems
basis for understanding logical strength of theorems
https://www.w3.org/2000/01/rdf-schema#label Reverse Mathematics
gptkbp:mainSubsystems gptkb:Π^1_1-CA_0
gptkb:ATR_0
ACA_0
RCA_0
WKL_0
gptkbp:popularizedBy gptkb:Stephen_Simpson
gptkbp:publishedIn gptkb:Subsystems_of_Second_Order_Arithmetic
gptkbp:relatedTo computability theory
foundations of mathematics
proof theory
gptkbp:studies gptkb:axiomatic_foundations_of_mathematics
gptkbp:usedIn gptkb:algebra
gptkb:logic
gptkb:topology
analysis
combinatorics
gptkbp:bfsParent gptkb:John_Stillwell
gptkbp:bfsLayer 6