Switch to: References

Add citations

You must login to add citations.
  1. Model theory of the inaccessibility scheme.Shahram Mohsenipour - 2011 - Archive for Mathematical Logic 50 (7-8):697-706.
    Suppose L = { <,...} is any countable first order language in which < is interpreted as a linear order. Let T be any complete first order theory in the language L such that T has a κ-like model where κ is an inaccessible cardinal. Such T proves the Inaccessibility Scheme. In this paper we study elementary end extensions of models of the inaccessibility scheme.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Local collection and end-extensions of models of compositional truth.Mateusz Łełyk & Bartosz Wcisło - 2021 - Annals of Pure and Applied Logic 172 (6):102941.
    We introduce a principle of local collection for compositional truth predicates and show that it is arithmetically conservative over the classically compositional theory of truth. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations