The book, based on a course of lectures by the authors at the Indian Institute of Technology, Guwahati, covers aspects of infinite permutation groups theory and some related model-theoretic constructions. There is basic background in both group theory and the necessary model theory, and the following topics are covered: transitivity and primitivity; symmetric groups and general linear groups; wreatch products; automorphism groups of various treelike objects; model-theoretic constructions for building structures with rich automorphism groups, the structure and classification of infinite primitive Jordan groups (surveyed); applications and open problems. With many examples and exercises, the book is intended primarily for a beginning graduate student in group theory.

The book describes 4 main topics in current model theory and updates their most recent development and applications. The 4 topics are: 1) model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; 4) model theory of real and complex exponentiation. The book addresses in particular young researchers in model theory, as well as more senior researchers in other branches of mathematics.

This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

The first of a two volume set showcasing current research in model theory and its connections with number theory, algebraic geometry, real analytic geometry and differential algebra. Each volume contains a series of expository essays and research papers around the subject matter of a Newton Institute Semester on Model Theory and Applications to Algebra and Analysis. The articles convey outstanding new research on topics such as model theory and conjectures around Mordell-Lang; arithmetic of differential equations, and Galois theory of difference equations; model theory and complex analytic geometry; o-minimality; model theory and noncommutative geometry; definable groups of finite dimension; Hilbert's tenth problem; and Hrushovski constructions. With contributions from so many leaders in the field, this book will undoubtedly appeal to all mathematicians with an interest in model theory and its applications, from graduate students to senior researchers and from beginners to experts.

The second of a two volume set showcasing current research in model theory and its connections with number theory, algebraic geometry, real analytic geometry and differential algebra. Each volume contains a series of expository essays and research papers around the subject matter of a Newton Institute Semester on Model Theory and Applications to Algebra and Analysis. The articles convey outstanding new research on topics such as model theory and conjectures around Mordell-Lang; arithmetic of differential equations, and Galois theory of difference equations; model theory and complex analytic geometry; o-minimality; model theory and non-commutative geometry; definable groups of finite dimension; Hilbert's tenth problem; and Hrushovski constructions. With contributions from so many leaders in the field, this book will undoubtedly appeal to all mathematicians with an interest in model theory and its applications, from graduate students to senior researchers and from beginners to experts.

This book addresses a gap in the model-theoretic understanding of valued fields that has, until now, limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

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 include: oligomorphic permutation groups and omega-categorical structures; totally categorical structures and covers; automorphism groups of recursively saturated structures; Jordan groups; Hrushovski's constructions of pseudoplanes; permutation groups of finite Morley rank; applications of permutation group theory to models of set theory without the axiom of choice. There are introductory chapters by the editors on general model theory and permutation theory, recursively saturated structures, and on groups of finite Morley rank. The book is almost self-contained, and should be useful to both a beginning postgraduate student meeting the subject for the first time, and to an active researcher from either of the two main fields looking for an overview of the subject.