Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.519073
Title: Initial segments and end-extensions of models of arithmetic
Author: Wong, Tin Lok
Awarding Body: University of Birmingham
Current Institution: University of Birmingham
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
This thesis is organized into two independent parts. In the first part, we extend the recent work on generic cuts by Kaye and the author. The focus here is the properties of the pairs (M, I) where I is a generic cut of a model M. Amongst other results, we characterize the theory of such pairs, and prove that they are existentially closed in a natural category. In the second part, we construct end-extensions of models of arithmetic that are at least as strong as ATR\(_0\). Two new constructions are presented. The first one uses a variant of Fodor’s Lemma in ATR\(_0\) to build an internally rather classless model. The second one uses some weak versions of the Galvin–Prikry Theorem in adjoining an ideal set to a model of second-order arithmetic.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.519073  DOI: Not available
Keywords: QA Mathematics
Share: