The completeness of the first-order functional calculus

Henkin, L. (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic, 14(3), 159-166.

Type

Journal article

Intellectual base

Primary research

Year

1949

DOI

10.2307/2267044

Link

https://doi.org/10.2307/2267044

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Primes

• Completeness
  • … element), and the construction $\mathbb{R}$-from-$\mathbb{Q}$ is the prototype. For logical completeness the Henkin construction takes a consistent theory $T$ and extends it to a maximally-consistent theory $T^*$ in an enriched language, then constructs a model from the syntactic terms of the enriched language.

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