Tits Buildings and the Model Theory of Groups, Edited by Katrin Tent
Автор: Libkin Leonid Название: Elements of Finite Model Theory ISBN: 3540212027 ISBN-13(EAN): 9783540212027 Издательство: Springer Рейтинг: Цена: 8359 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An overview of different theories of motivic integration and their applications.
Автор: Haskell Название: Model Theory, Algebra, and Geometry ISBN: 0521143497 ISBN-13(EAN): 9780521143493 Издательство: Cambridge Academ Рейтинг: Цена: 4140 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of the rationality of certain Poincare series associated to varieties over p-adic fields, to a proof of the Mordell-Lang conjecture for function fields in positive characteristic. In some cases (such as the latter) it is the most abstract aspects of model theory which are relevant. This book, originally published in 2000, arising from a series of introductory lectures for graduate students, provides the necessary background to understanding both the model theory and the mathematics behind these applications. The book is unique in that the whole spectrum of contemporary model theory (stability, simplicity, o-minimality and variations) is covered and diverse areas of geometry (algebraic, diophantine, real analytic, p-adic, and rigid) are introduced and discussed, all by leading experts in their fields.
Автор: Hodges Название: Model Theory ISBN: 0521066360 ISBN-13(EAN): 9780521066365 Издательство: Cambridge Academ Рейтинг: Цена: 11503 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians.
Автор: Marcja Annalisa, Toffalori Carlo Название: A Guide to Classical and Modern Model Theory ISBN: 1402013310 ISBN-13(EAN): 9781402013317 Издательство: Springer Рейтинг: Цена: 10971 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.
Автор: Marker David Название: Model Theory: An Introduction ISBN: 0387987606 ISBN-13(EAN): 9780387987606 Издательство: Springer Рейтинг: Цена: 5220 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is a modern introduction to model theory which stresses applications to algebra throughout the text. The first half of the book includes classical material on model construction techniques, type spaces, prime models, saturated models, countable models, and indiscernibles and their applications. The author also includes an introduction to stability theory beginning with Morley's Categoricity Theorem and concentrating on omega-stable theories. One significant aspect of this text is the inclusion of chapters on important topics not covered in other introductory texts, such as omega-stable groups and the geometry of strongly minimal sets. The author then goes on to illustrate how these ingredients are used in Hrushovski's applications to diophantine geometry. David Marker is Professor of Mathematics at the University of Illinois at Chicago. His main area of research involves mathematical logic and model theory, and their applications to algebra and geometry. This book was developed from a series of lectures given by the author at the Mathematical Sciences Research Institute in 1998.
Автор: Marker Название: Model Theory of Fields ISBN: 1107168074 ISBN-13(EAN): 9781107168077 Издательство: Cambridge Academ Рейтинг: Цена: 10929 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fifth publication in the Lecture Notes in Logic series, the authors give an insightful introduction to the fascinating subject of the model theory of fields, concentrating on its connections to stability theory. In the first two chapters David Marker gives an overview of the model theory of algebraically closed, real closed and differential fields. In the third chapter Anand Pillay gives a proof that there are 2? non-isomorphic countable differential closed fields. Finally, Margit Messmer gives a survey of the model theory of separably closed fields of characteristic p > 0.
Автор: Prestel Название: Mathematical Logic and Model Theory ISBN: 1447121759 ISBN-13(EAN): 9781447121756 Издательство: Springer Рейтинг: Цена: 5746 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.
Автор: Tent Название: A Course in Model Theory ISBN: 052176324X ISBN-13(EAN): 9780521763240 Издательство: Cambridge Academ Рейтинг: Цена: 5981 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.
Описание: An overview of different theories of motivic integration and their applications.
Автор: Haskell Название: Model Theory, Algebra, and Geometry ISBN: 0521780683 ISBN-13(EAN): 9780521780681 Издательство: Cambridge Academ Рейтинг: Цена: 8283 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry.
Автор: Sacks, Gerald E. Название: Saturated model theory ISBN: 9812833811 ISBN-13(EAN): 9789812833815 Издательство: World Scientific Publishing Рейтинг: Цена: 6212 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the material for a first course in pure model theory with applications to differentially closed fields. This book covers topics such as saturated model criteria for model completeness and elimination of quantifiers; Morley rank and degree of element types; categoricity in power; and homogeneity of models of categorical theories.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
