PP-2017-10: Order types of models of reducts of Peano Arithmetic and their fragments

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)

[thumbnail of syntacticfragments.v10.pdf]
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 View Item