Second-Order Arithmetic.¶
Project, O. L. (2025). Second-Order Arithmetic. Open Logic Text.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Natural Number
- The Open Logic Project shows that second-order induction excludes nonstandard elements and makes models isomorphic to the standard natural numbers; first-order arithmetic must be distinguished because its induction schema does not yield categoricity.
This sourceFormal account of second-order induction, exclusion of nonstandard elements under full semantics, and categoricity up to isomorphism.
- The Open Logic Project shows that second-order induction excludes nonstandard elements and makes models isomorphic to the standard natural numbers; first-order arithmetic must be distinguished because its induction schema does not yield categoricity.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:aeb5c492685b · see in the full table