Open Access Te Herenga Waka-Victoria University of Wellington
thesis_access.pdf (11.4 MB)

Ultraproducts and Higher Order Models

Download (11.4 MB)
posted on 2021-11-08, 20:15 authored by Malcolm, Wilfred Gordon

The programme of work for this thesis began with the somewhat genenal intention of parallelling in the context of higher order models the ultraproduct construction and its consequences as developed in the literature for first order models. Something of this was, of course, already available in the ultrapower construction of W.A.J. Luxemburg used in Non Standand Analysis. It may have been considered that such a genenal intention was not likely to yield anything of significance oven and above what was already available from viewing the higher order situation as a 'many sorted' first order one and interpreting the first order theory accordingly. In the event, however, I believe this has proved not to be so. In particular the substructure concepts developed in Chapter II of this thesis together with the various embedding theorems and their applications are not immediately available fnom the first order theory and seem to be of sufficient worth to warrant developing the higher order theory in its own terms. This, anyway, is the basic justification for the approach and content of the thesis.


Copyright Date


Date of Award



Te Herenga Waka—Victoria University of Wellington

Rights License

Author Retains Copyright

Degree Discipline

Mathematics & Logic

Degree Grantor

Te Herenga Waka—Victoria University of Wellington

Degree Level


Degree Name

Doctor of Philosophy

Victoria University of Wellington Item Type

Awarded Doctoral Thesis



Victoria University of Wellington School

School of Mathematics, Statistics and Computer Science


Hughes, G E; Seelye, C J; Cresswell, M J