4 found
Order:
  1.  18
    Models of PT- with Internal Induction for Total Formulae.Cezary Cieslinski, Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (1):187-202.
    We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  24
    Models of Weak Theories of Truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  6
    Truth and Feasible Reducibility.Ali Enayat, Mateusz Łełyk & Bartosz Wcisło - forthcoming - Journal of Symbolic Logic:1-58.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Models of Positive Truth.Mateusz Łełyk & Bartosz Wcisło - 2019 - Review of Symbolic Logic 12 (1):144-172.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark