MoL-2017-13: Isaacson's thesis and Wilkie's theorem

MoL-2017-13: Moon, Stella (2017) Isaacson's thesis and Wilkie's theorem. [Report]

[thumbnail of MoL-2017-13.text.pdf]

Download (604kB) | Preview


In this thesis, I explore Isaacson's thesis and Wilkie's theorem, providing philosophical and formal results on how they relate to each other. At a rst approximation, Isaacson's thesis claims that Peano arithmetic is sound and complete with respect to genuinely arithmetical statements . Using internalist notions familiar from recent work on internal categoricity theorems, I provide a formal de nition of genuinely arithmetical statements. As for Wilkie's theorem, it roughly says that, from an external perspective, Peano arithmetic is minimal, in that it is entailed by all categorical axiomatisations of the natural numbers satisfying a certain syntactic restriction. After expositing Wilkie's theorem and the relation of its proof to other known techniques, I discuss its relation to Isaacson's thesis, in particular whether Peano arithmetic is a maximal theory obtained from the categorical characterisation.

Item Type: Report
Report Nr: MoL-2017-13
Series Name: Master of Logic Thesis (MoL) Series
Year: 2017
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 31 Jul 2017 09:58
Last Modified: 31 Jul 2017 09:58

Actions (login required)

View Item View Item