Nonstandard models of arithmetic are of interest to mathematicians through the presence of infinite (or nonstandard) integers and the various properties they inherit from the finite integers. Since their introduction in the 193s (by...

This book is a collection of articles, some introductory, some extended surveys, and some containing previously unpublished research, on a range of topics linking infinite permutation group theory and model theory. Topics covered...