М.: Мир, 1971. — 184 с. Небольшая монография, посвященная теории классов моделей — области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монографии — обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ...
Boca Raton: CRC Press/Chapman & Hall, 2023. — 327 p. Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950’s, it rapidly became one of the central most active branches of mathematical logic. In the last few decades, ideas that originated within model theory have provided powerful...
Cambridge: Cambridge University Press, 2017. — 195 p. 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 ninth publication in the Lecture Notes in Logic series,...
Novosibirsk: Publishing House of Novosibirsk State Technical University, 2018. – 326 + 394 p. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as...
Новосибирск: Издательство НГТУ, 2018. - 376 + 452 с. В монографии излагается классификация счетных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счетных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но...
2nd Ed. — World Scientific, 2010. — xii, 207 p. — ISBN13: 978-981-283-381-5, ISBN10: 981-283-381-1. True PDF This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book include saturated model criteria for model completeness and elimination of quantifiers; Morley rank and degree of...
3rd Edition. — Elsevier Science Publ., 1990. — 667 p. — (Studies in Logic and the Foundations of Mathematics, Book 73). — ISBN: 0486488217. Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract...
Cambridge: Cambridge University Press, 2019. — 198 p. — ISBN: 978-1-107-16388-1, 978-1-316-61555-3. This book is designed as an undergraduate or masters level course in model theory. It has grown out of courses taught for many years in Oxford, and courses taught by me at UEA. The choice of material and presentation is based on pedagogical considerations, and I have tried to...
М.: Главная редакция физико-математической литературы, 1962. — 36 с. — (Математическая библиотечка). Эта работа, написанная Л. Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет...
М.: Главная редакция физико-математической литературы, 1962. — 36 с. — (Математическая библиотечка). Эта работа, написанная Л. Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет...
Новосибирск: Изд-во СО РАН, 2016. — 243 с. Алгебраическая геометрия над алгебраическими системами изложена с теоретико-модельных позиций. Показано, что большинство базовых понятий, результатов и идей классической алгебраической геометрии над полем допускают обобщение на случай произвольных алгебраических систем любой сигнатуры. При этом алгебро-геометрический аппарат...
Springer Nature Singapore Pte Ltd., 2017. — 298 p. — ISBN: 978-981-10-5097-8. This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required. The book can...
New York: Chapman and Hall/CRC, 2017. — 445 p. 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...
CSLI Publications, 1996. — 142 p. — ISBN: 1575860481, 157586049X. Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. The emphasis is on first-order languages, the model theory of which is best known.
New York: Springer Science & Business Media, 2012. — 472 p. — (Universitext). — ISBN: 978-1-4612-6446-0 ISBN: 978-1-4419-8622-1. From the author: Can we reproduce the inimitable, or give a new life to what has been af fected by the weariness of existence? Folks, what you have in your hands is a translation into English of a book that was first published in 1985 by its author,...
UK.: Cambridge University Press, 2000. — 230 p. (Mathematical Sciences Research Institute Publications. 39 ). — ISBN: 0-521-78068-3, English Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to significant new...
UK.: Cambridge University Press, 2000. — 229 p. (Mathematical Sciences Research Institute Publications. 39 ). — ISBN: 0-521-78068-3, eBook , English Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to significant new...
Springer, 2002. — 342 p. — (Graduate Texts in Mathematics. 217 ) — ISBN: 0-387-98760-6, English 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...
New York.: Springer, 2002. — 342 p. — (Graduate Texts in Mathematics. 217 ) — ISBN: 0-387-98760-6, eBook, English 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...
UK.: Cambridge University Press, 1988. — 388 p. (London Mathematical Society Lecture Note Series. 130 ) — ISBN: 0-521-34833-1, English ( OCR -Слой). Professor Prest is the first to address the topic of the development of the interplay between model theory and the theory of modules. In recent years the relationship between model theory and other branches of mathematics has led...
UK.: Cambridge University Press, 1988. — 388 p. — (London Mathematical Society Lecture Note Series. 130 ) - ISBN: 0-521-34833-1, English ( OCR -Слой). Professor Prest is the first to address the topic of the development of the interplay between model theory and the theory of modules.. In recent years the relationship between model theory and other branches of mathematics has...
North Holland, 1990. — 650 p. — (Studies in Logic and the Foundations of Mathematics, Book 73). — ISBN10: 0444880542; ISBN13: 978-0444880543 Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory,...
Перевод: Е.Р. Байсалов и К.А. Мейрембеков, Казахстан, Алматы, механико-математический факультет Казахского Национального университета им. аль-Фараби. 2001. — 474 с. Оригинал: Bruno Poizat, Cours de théorie des modèles. Элементарные классы отношений Язык одного отношения Расширение языка, структуры Компактность Челночный метод в ω-насыщенных моделях Иллюстрации челночного метода...
Cambridge University Press, 2012. — 260 p. — ISBN: 052176324X, 9780521763240
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...
Учебник — Тверь: Твер. гос. ун-т, 2013. — 480 с. Данный учебник полностью охватывает материал курса "Основы теории моделей". Он адресован, прежде всего, студентам старших курсов, изучающих указанный предмет или смежные с ним, а также всем, кто интересуется математической логикой. Основы теории множеств. Аксиомы теории множеств. Наследственно конечные множества. Подмножества и...
Cambridge University Press, 1993. — 772 p.
Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.
Professor Hodges emphasizes...
М.: Наука, Главная редакция физико-математической литературы, 1967. — 376 с. — (Математическая логика и основания математики). Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели...
М.: Наука, 1980. - 416 с. Серия "Математическая логика и основания математики"
Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные...
М. : 1971. -184 с.
Небольшая монография, посвященная теории классов моделей — области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монографии — обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и...
Учебнеое пособие. 2009. 291 с.
Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и...
М.: Мир, 1976. — 191 с.
Новая область математики - теория моделей получила интенсивное развитие в последние двадцать лет. В книге известного математика Джеральда Сакса содержится тщательное изложение и классических, и новейших результатов теории; большой интерес представляют результаты о рангах формул и типов, о простых моделях, о насыщенных и однородных системах. Эта теория...
М.: Мир, 1977. — 614 с. Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятся исторические замечания и формулировки нерешенных проблем. Предназначена для математиков различных специальностей и может использоваться как учебное пособие студентами и аспирантами университетов и...
Уважаемые: Администратор, модераторы и доверенные пользователи.Я благодарен Вам за создание подраздела Теория моделей, от этого раздел Математическая логика стал функциональнее, а пользователям - ещё легче искать нужную литературу. Да благословит Господь Вас, Ваших родных, близких, друзей и знакомых, а также наш сайт. С уважением, благодарностью и благословением.
Комментарии
Да благословит Господь Вас, Ваших родных, близких, друзей и знакомых, а также наш сайт.
С уважением, благодарностью и благословением.