Switch to: References

Add citations

You must login to add citations.
  1. Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Truth in generic cuts.Richard Kaye & Tin Lok Wong - 2010 - Annals of Pure and Applied Logic 161 (8):987-1005.
    In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On two questions concerning the automorphism groups of countable recursively saturated models of PA.Roman Kossak & Nicholas Bamber - 1996 - Archive for Mathematical Logic 36 (1):73-79.
    Download  
     
    Export citation  
     
    Bookmark   7 citations