|
gptkbp:instanceOf
|
gptkb: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
|
|
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:analysis
gptkb:combinatorics
gptkb:algebra
gptkb:logic
gptkb:topology
|
|
gptkbp:bfsParent
|
gptkb:John_Stillwell
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Reverse Mathematics
|