Statements (28)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
|
gptkbp:abbreviation |
gptkb:Z_2
|
gptkbp:field |
gptkb:logic
foundations of mathematics |
gptkbp:formalizes |
analysis
set theory for countable sets |
gptkbp:generalizes |
gptkb:Peano_arithmetic
|
gptkbp:has_subsystem |
gptkb:Π^1_1-CA_0
gptkb:ATR_0 ACA_0 RCA_0 WKL_0 |
https://www.w3.org/2000/01/rdf-schema#label |
second-order arithmetic
|
gptkbp:is_stronger_than |
first-order arithmetic
|
gptkbp:is_weaker_than |
full second-order set theory
|
gptkbp:quantifies_over |
individual natural numbers
sets of natural numbers |
gptkbp:relatedTo |
gptkb:descriptive_set_theory
gptkb:arithmetic_hierarchy computability theory model theory proof theory |
gptkbp:studies |
natural numbers
|
gptkbp:used_in |
gptkb:reverse_mathematics
|
gptkbp:uses |
gptkb:second-order_logic
|
gptkbp:bfsParent |
gptkb:Feferman–Schütte_ordinal
gptkb:Peano_arithmetic |
gptkbp:bfsLayer |
6
|