Автор: 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.
Название: Finite Model Theory ISBN: 3540287876 ISBN-13(EAN): 9783540287872 Издательство: Springer Рейтинг: Цена: 14629 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Автор: Libkin Leonid Название: Elements of Finite Model Theory ISBN: 3540212027 ISBN-13(EAN): 9783540212027 Издательство: Springer Рейтинг: Цена: 8359 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Автор: Edited by Katrin Tent Название: Tits Buildings and the Model Theory of Groups ISBN: 0521010632 ISBN-13(EAN): 9780521010634 Издательство: Cambridge Academ Рейтинг: Цена: 5982 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains selected papers by leading researchers from the international conference entitled Tits Buildings and the Model Theory of Groups, held in Wurzburg in 2000. The first part of the book provides a general introduction to many aspects of buildings and their geometries, based on short lecture courses given at the conference. The rest of the book comprises survey and research articles on model theoretic results and techniques, showing the vitality and richness of these branches of mathematics. Among the most fruitful techniques, amalgamation constructions a la Hrushovski are explained and classified as they continue to play an important role both in model theory and geometry. The articles succeed in demonstrating the close connection between geometry, group theory and model theory. The book will be invaluable to graduate students as well as experienced researchers working in these areas of mathematics.
Описание: The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the topic, this book provides an introduction for advanced undergraduate students. The concept of model underlies the text, giving it a theoretical coherence.
Описание: An overview of different theories of motivic integration and their applications.
Автор: 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.
Автор: Marker Название: Lectures on Infinitary Model Theory ISBN: 1107181933 ISBN-13(EAN): 9781107181939 Издательство: Cambridge Academ Рейтинг: Цена: 10122 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalban's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory.
Автор: 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.
Название: Beyond First Order Model Theory ISBN: 1498753973 ISBN-13(EAN): 9781498753975 Издательство: Taylor&Francis Рейтинг: Цена: 9818 р. Наличие на складе: Поставка под заказ.
Описание: Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru