PP-2017-10: Galeotti, Lorenzo and Löwe, Benedikt (2017) Order types of models of reducts of Peano Arithmetic and their fragments. [Pre-print] (Unpublished)
Preview |
Text
syntacticfragments.v10.pdf Download (283kB) | Preview |
Abstract
It is well-known that non-standard models of Peano Arithmetic have order type N + Z·D where D is a dense linear order without first or last element. Not every order of the form N + Z·D is the order type of a model of Peano Arithmetic, though; in general, it is not known how to characterise those D for which this is the case. In this paper, we consider syntactic fragments of Peano Arithmetic (both with and without induction) and study the order types of their non-standard models.
Item Type: | Pre-print |
---|---|
Report Nr: | PP-2017-10 |
Series Name: | Prepublication (PP) Series |
Year: | 2017 |
Subjects: | Logic Mathematics |
Depositing User: | Benedikt |
Date Deposited: | 05 Aug 2017 07:10 |
Last Modified: | 05 Aug 2017 07:10 |
URI: | https://eprints.illc.uva.nl/id/eprint/1550 |
Actions (login required)
View Item |