Title of article
Undefinability of truth and nonstandard models Original Research Article
Author/Authors
Roman Kossak، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
9
From page
115
To page
123
Abstract
We discuss Robinsonʹs model theoretic proof of Tarskiʹs theorem on undefinability of truth. We present two other “diagonal-free” proofs of Tarskiʹs theorem, and we compare undefinability of truth to other forms of undefinability in nonstandard models of arithmetic.
Keywords
Models of arithmetic , Undefinability of truth , Recursive saturation , Satisfaction classes
Journal title
Annals of Pure and Applied Logic
Serial Year
2004
Journal title
Annals of Pure and Applied Logic
Record number
889946
Link To Document