4 found
Order:
  1.  19
    Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  14
    Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.
    The complete characterisation of order types of non-standard models of Peano arithmetic and its extensions is a famous open problem. In this paper, we consider subtheories of Peano arithmetic (both with and without induction), in particular, theories formulated in proper fragments of the full language of arithmetic. We study the order types of their non-standard models and separate all considered theories via their possible order types. We compare the theories with and without induction and observe that the theories without induction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.
    The complete characterisation of order types of non-standard models of Peano arithmetic and its extensions is a famous open problem. In this paper, we consider subtheories of Peano arithmetic (both with and without induction), in particular, theories formulated in proper fragments of the full language of arithmetic. We study the order types of their non-standard models and separate all considered theories via their possible order types. We compare the theories with and without induction and observe that the theories without induction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    The Theory of the Generalised Real Numbers and Other Topics in Logic.Lorenzo Galeotti - 2019 - Bulletin of Symbolic Logic 25 (4):449-450.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark