Switch to: References

Citations of:

Undefinability of truth and nonstandard models

Roman Kossak

Annals of Pure and Applied Logic 126 (1-3):115-123 (2004)

Add citations

You must login to add citations.

Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink) Download Export citation Bookmark 9 citations
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.details We give some information about new proofs of the incompleteness theorems, found in 1990s. Some of them do not require the diagonal lemma as a method of construction of an independent statement. Download Export citation Bookmark 13 citations
Tarski’s Undefinability Theorem and the Diagonal Lemma.Saeed Salehi - 2022 - Logic Journal of the IGPL 30 (3):489-498.details We prove the equivalence of the semantic version of Tarski’s theorem on the undefinability of truth with the semantic version of the diagonal lemma and also show the equivalence of a syntactic version of Tarski’s undefinability theorem with a weak syntactic diagonal lemma. We outline two seemingly diagonal-free proofs for these theorems from the literature and show that the syntactic version of Tarski’s theorem can deliver Gödel–Rosser’s incompleteness theorem. Download Export citation Bookmark

1