The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

Rathjen, M. (2005). The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.

Type

Unclassified

Intellectual base

Unclassified

Year

2005

DOI

10.1007/s11229-004-6208-4

Link

https://doi.org/10.1007/s11229-004-6208-4

Cited by

1 citation across 1 artifact.

Domain-specific

• Universe (mathematics)
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

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