Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark