The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions

Gödel, K. (1965). The undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions. Raven Press.

Type

Book

Intellectual base

Review or monograph

Year

1965

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Ordinal definable set
  • Ordinal definability allows ordinal parameters but not arbitrary set parameters, differs from parameter-free definability, and the class OD need not equal the constructible universe or be pointwise definable.

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