Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:abbreviation |
gptkb:Z_2
|
| gptkbp:field |
gptkb:logic
foundations of mathematics |
| gptkbp:formalizes |
gptkb: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 |
| 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:model_theory
gptkb:descriptive_set_theory gptkb:arithmetic_hierarchy computability 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
second-order arithmetic
|