Models of Peano Arithmetic

Kaye, R. (1991). Models of Peano Arithmetic. Oxford University Press.

Type

Book

Intellectual base

Review or monograph

Year

1991

Link

https://academic.oup.com/book/53349

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Primes

• Template Instantiation
  • The frame fixes that shape once, so every axiom it yields has the same three-part structure and the axioms differ from one another in exactly one place, which is the formula bound into the position.

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:5c5a3da0b083 · see in the full table