Теория моделей

М.: Главная редакция физико-математической литературы, 1962. — 36 с. — (Математическая библиотечка). Эта работа, написанная Л. Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет...

Новосибирск: Изд-во СО РАН, 2016. — 243 с. Алгебраическая геометрия над алгебраическими системами изложена с теоретико-модельных позиций. Показано, что большинство базовых понятий, результатов и идей классической алгебраической геометрии над полем допускают обобщение на случай произвольных алгебраических систем любой сигнатуры. При этом алгебро-геометрический аппарат...

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...

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...

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,...

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 лет. Содержание монографии — обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и...

М.: Мир, 1976. — 191 с. Новая область математики - теория моделей получила интенсивное развитие в последние двадцать лет. В книге известного математика Джеральда Сакса содержится тщательное изложение и классических, и новейших результатов теории; большой интерес представляют результаты о рангах формул и типов, о простых моделях, о насыщенных и однородных системах. Эта теория...

М.: Мир, 1977. — 614 с. Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятся исторические замечания и формулировки нерешенных проблем. Предназначена для математиков различных специальностей и может использоваться как учебное пособие студентами и аспирантами университетов и...