This book gives a proof of Cherlin’s conjecture for finite binary primitive permutation groups. Motivated by the part of model theory concerned with Lachlan’s theory of finite …
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes …