Tarski’s Undefinability Theorem and the Diagonal Lemma

Salehi, S. (2022). Tarski’s Undefinability Theorem and the Diagonal Lemma.

Type

Unclassified

Intellectual base

Unclassified

Year

2022

DOI

10.1093/jigpal/jzab016

Link

https://doi.org/10.1093/jigpal/jzab016

Cited by

1 citation across 1 artifact.

Domain-specific

• Tarski's undefinability theorem
  • Tarski's theorem separates truth in a structure from predicates definable inside the same sufficiently expressive 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:313b06d829dd · see in the full table