Models of number theory

Wilkie, A. J.


Wilkie, A. J. (1972) Models of number theory.

Our Full Text Deposits

Full text access: Open

10098215.pdf - 3.04 MB


After introducing basic notation and results in chapter one, we begin studying the model theory of the Peano axioms, P, proper in the second chapter where we give a proof of Rabin's theorem :- that P is not axiomatizable by any consistent set of [sigma]n sentences for any n[epsilon][omega], and also answer a question of Gaifman raised in Another problem, from the same article, is partially answered in chapter three, where we show every countable non-standard model, M, 'of P has an elementary equivalent end extension solving a Diophantine equation with coefficients in M, that was not solvable in M. In chapter four we investigate substructures of countable non-standard models of P, and show that every such model M, contains 2 substructures all isomorphic to M. Other related results are also proved. Chapter five contains theorems on indescernibles and omitting certain types in models of P. Chapter six is concerned with the following problem the set), of elementary substructures of M, is lattice ordered by inclusion. Which lattices are of the form for some We show that the pentagon lattice is of this form (answering a question suggested in [7] p. 280)and produce a class of non-modular lattices all of whose members are not of the form for any M = N, the standard model of P. Elementary co-final extensions of models of P are also investigated in this chapter. Finally, chapter seven concludes the thesis by posing some open problems suggested by the preceding text.

Information about this Version

This is a Accepted version
This version's date is: 1972
This item is not peer reviewed

Link to this Version

Item TypeThesis (Doctoral)
TitleModels of number theory
AuthorsWilkie, A. J.
Uncontrolled KeywordsTheoretical Mathematics; Pure Sciences; Models; Number; Number Theory; Number Theory; Theory



Deposited by () on 31-Jan-2017 in Royal Holloway Research Online.Last modified on 31-Jan-2017


Digitised in partnership with ProQuest, 2015-2016. Institution: University of London, Bedford College (United Kingdom).