Groups and Model Theory


Book Description

This monograph provides an overview of developments in group theory motivated by model theory by key international researchers in the field. Topics covered include: stable groups and generalizations, model theory of nonabelian free groups and of rigid solvable groups, pseudofinite groups, approximate groups, topological dynamics, groups interpreting the arithmetic. The book is intended for mathematicians and graduate students in group theory and model theory. The book follows the course of the GAGTA (Geometric and Asymptotic Group Theory with Applications) conference series. The first book, "Complexity and Randomness in Group Theory. GAGTA book 1," can be found here: http://www.degruyter.com/books/978-3-11-066491-1 .




Groups, Modules, and Model Theory - Surveys and Recent Developments


Book Description

This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With introductory sections that make the topics easily accessible to students, the papers in this volume will appeal to beginning graduate students and experienced researchers alike. As a whole, this book offers a cross-section view of the areas in group, module, and model theory, covering topics such as DP-minimal groups, Abelian groups, countable 1-transitive trees, and module approximations. The papers in this book are the proceedings of the conference “New Pathways between Group Theory and Model Theory,” which took place February 1-4, 2016, in Mülheim an der Ruhr, Germany, in honor of the editors’ colleague Rüdiger Göbel. This publication is dedicated to Professor Göbel, who passed away in 2014. He was one of the leading experts in Abelian group theory.




Advances in Algebra and Model Theory


Book Description

Contains 25 surveys in algebra and model theory, all written by leading experts in the field. The surveys are based around talks given at conferences held in Essen, 1994, and Dresden, 1995. Each contribution is written in such a way as to highlight the ideas that were discussed at the conferences, and also to stimulate open research problems in a form accessible to the whole mathematical community. The topics include field and ring theory as well as groups, ordered algebraic structure and their relationship to model theory. Several papers deal with infinite permutation groups, abelian groups, modules and their relatives and representations. Model theoretic aspects include quantifier elimination in skew fields, Hilbert's 17th problem, (aleph-0)-categorical structures and Boolean algebras. Moreover symmetry questions and automorphism groups of orders are covered. This work contains 25 surveys in algebra and model theory, each is written in such a way as to highlight the ideas that were discussed at Conferences, and also to stimulate open research problems in a form accessible to the whole mathematical community.




Model Theory of Groups and Automorphism Groups


Book Description

Surveys recent interactions between model theory and other branches of mathematics, notably group theory.




Model Theory : An Introduction


Book Description

Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures




Model Theory of Groups and Automorphism Groups


Book Description

Surveys recent interactions between model theory and other branches of mathematics, notably group theory.




Model Theory and the Philosophy of Mathematical Practice


Book Description

Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.




A Shorter Model Theory


Book Description

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. This book will benefit graduate students with an interest in model theory.




A Course in Model Theory


Book Description

Concise introduction to current topics in model theory, including simple and stable theories.




Introduction to Model Theory


Book Description

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory. Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories. There is a final chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability (or classification) theory.