MoL-2017-13: Moon, Stella (2017) Isaacson's thesis and Wilkie's theorem. [Report]
Preview |
Text
MoL-2017-13.text.pdf Download (604kB) | Preview |
Abstract
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 Philosophy |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 31 Jul 2017 09:58 |
| Last Modified: | 31 Jul 2017 09:58 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1549 |
Actions (login required)
 |
View Item |
