1 Table of Contents: “... Ultraproducts -- VIII Non-Standard Models -- IX Turing Machines and Gödel Numbers -- X Hilbert’s Tenth Problem...”

2 “... of work on relative classification theory for non-standard models of arithmetic...”

3 “... on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical...”

4 “... universe of sets. A recurring theme in the whole book consists of standard and non-standard models...”

5 “... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...”

6 “... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...”

7 “... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...”

8 “... equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical...”

9 “... and standard models for the equivalence classes (which are used to analyze the topology and geometry...”

10 “..., automated theorem proving, non-standard models including non-standard analysis, and related topics...”