arithmetical comprehension axiom

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:Titan
set-theoretic principle
gptkbp:formalizes comprehension schema for arithmetical formulas
https://www.w3.org/2000/01/rdf-schema#label arithmetical comprehension axiom
gptkbp:implies existence of the set of natural numbers satisfying any arithmetical property
gptkbp:isWeakerThan full comprehension axiom
gptkbp:namedFor gptkb:Stephen_Simpson
gptkbp:relatedTo gptkb:reverse_mathematics
ACA_0
gptkbp:requires existence of sets definable by arithmetical formulas
gptkbp:usedIn gptkb:second-order_arithmetic
gptkbp:bfsParent gptkb:Schütte–Simpson_theorem
gptkbp:bfsLayer 7