Non-standard models of arithmetic are of interest to mathematicians through the presence of infinite integers and the various properties they inherit from the f

Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for non

The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in v

This is the proceedings of the AMS special session on nonstandard models of arithmetic and set theory held at the Joint Mathematics Meetings in Baltimore (MD).

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive form