Theory, Oxford University Press, 2010

Steve Awodey, C. (2010). Theory, Oxford University Press, 2010. Oxford University Press.

Type

Book

Intellectual base

Review or monograph

Year

2010

Link

no authoritative link yet

Cited by

2 citations across 2 artifacts.

Primes

• Disjoint union
  • This conserved decision sequence is the basis for Prime status.

Domain-specific

• Classification theorem
  • … relation, invariant or normal form, parameter range and realizability, existence and completeness, uniqueness convention and whether enumeration or equivalence is effective are explicit. to An applied instance preserves the same invariant under changed scale, notation, jurisdiction, dataset, or implementation..

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