Небольшая монография, посвященная теории классов моделей—области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монография—обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами. Книга будет полезна не только специалистам, но и тем, кто хочет начать работать в этом плодотворно развивающемся направлении математической логики или хотя бы получить первоначальное представление о нем.

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

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др. Естественно возникла идея применения этих достижений в математике. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского. К тому же времени на основе фундаментальных работ Д. Гильберта и развития его идей в математической логике были получены и основные теоремы: теорема Гёделя о полноте узкого исчисления предикатов, локальная теорема Мальцева, теорема Левенгейма — Сколема, теорема о расширении моделей и др.

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

Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики - теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет по-новому взглянуть на логические основы анализа, заложенные еще Лейбницем и Ньютоном. Изложение очень отчетливое и не требует специальных знаний. книга рассчитана на математиков различных специальностей, аспирантов и студентов университетов.

Математические модели разнообразных сложных систем находятся по экспериментальным данным наблюдений при помощи рационализированного перебора на ЭВМ многих вариантов, по методу группового учета аргументов (МГУА). Принцип самоорганизации моделей, лежащий в основе МГУА, утверждает, что оптимальная модель соответствует минимуму внешнего критерия или целого ансамбля критериев» выбираемых автором модели. Другими основаниями метода являются теорема неполноты А. Геделя и принцип сохранения свободы выбора Д. Габора. Завершает теорию новый принцип многоуровневого моделирования на нескольких языках, отличающихся по уровню детализации. Принцип позволяет решить проблему долгосрочного количественного прогноза. Рассчитана на инженеров и специалистов различных областей науки и техники, работающих в области математического моделирования.