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

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical lo

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

This book takes the reader on a journey through Ramsey theory, from graph theory and combinatorics to set theory to logic and metamathematics. Written in an inf

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).