This book introduces a general method for building infinite mathematical structures, and surveys its applications in algebra and model theory. The basic idea behind the method is to build a structure by a procedure with infinitely many steps, similar to a game between two players that goes on indefinitely. The approach is new and helps to simplify, motivate and unify a wide range of constructions that were previously carried out separately and by ad hoc methods. The first chapter provides a resume of basic model theory. A wide variety of algebraic applications are studied, with detailed analyses of existentially closed groups of class 2. Another chapter describes the classical model-theoretic form of this method -of construction, which is known variously as 'omitting types', 'forcing' or the 'Henkin-Orey theorem'. The last three chapters are more specialised and discuss how the same idea can be used to build uncountable structures. Applications include completeness for Magidor-Malitz quantifiers, and Shelah's recent and sophisticated omitting types theorem for L(Q). There are also applications to Bdolean algebras and models of arithmetic.

Field Arithmetic explores Diophantine fields through their absolute Galois groups. This largely self-contained treatment starts with techniques from algebraic geometry, number theory, and profinite groups. Graduate students can effectively learn generalizations of finite field ideas. We use Haar measure on the absolute Galois group to replace counting arguments. New Chebotarev density variants interpret diophantine properties. Here we have the only complete treatment of Galois stratifications, used by Denef and Loeser, et al, to study Chow motives of Diophantine statements. Progress from the first edition starts by characterizing the finite-field like P(seudo)A(lgebraically)C(losed) fields. We once believed PAC fields were rare. Now we know they include valuable Galois extensions of the rationals that present its absolute Galois group through known groups. PAC fields have projective absolute Galois group. Those that are Hilbertian are characterized by this group being pro-free. These last decade results are tools for studying fields by their relation to those with projective absolute group. There are still mysterious problems to guide a new generation: Is the solvable closure of the rationals PAC; and do projective Hilbertian fields have pro-free absolute Galois group (includes Shafarevich's conjecture)?

The present book was conceived as an introduction for the user of universal algebra, rather than a handbook for the specialist, but when the first edition appeared in 1965, there were practically no other books entir~ly devoted to the subject, whether introductory or specialized. Today the specialist in the field is well provided for, but there is still a demand for an introduction to the subject to suit the user, and this seemed to justify a reissue of the book. Naturally some changes have had to be made; in particular, I have corrected all errors that have been brought to my notice. Besides errors, some obscurities in the text have been removed and the references brought up to date. I should like to express my thanks to a number of correspondents for their help, in particular C. G. d'Ambly, W. Felscher, P. Goralcik, P. J. Higgins, H.-J. Hoehnke, J. R. Isbell, A. H. Kruse, E. J. Peake, D. Suter, J. S. Wilson. But lowe a special debt to G. M. Bergman, who has provided me with extensive comments. particularly on Chapter VII and the supplementary chapters. I have also con sulted reviews of the first edition, as well as the Italian and Russian translations.