Number theory and elementary arithmetic

Avigad, J. (2003). Number theory and elementary arithmetic.

Type

Unclassified

Intellectual base

Unclassified

Year

2003

DOI

10.1093/philmat/11.3.257

Link

https://doi.org/10.1093/philmat/11.3.257

Cited by

1 citation across 1 artifact.

Domain-specific

• Elementary function arithmetic
  • Elementary function arithmetic formalizes arithmetic with symbols or axioms sufficient for addition, multiplication, exponentiation, and induction restricted to bounded formulas.

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