Jose Iovino – Beyond First Order Model Theory

Описание

Beyond First Order Model Theory — сборник исследований, посвященных развитию теории моделей за пределами классической логики первого порядка. Jose Iovino и соавторы рассматривают более выразительные логические системы, включая логику с кванторами по вероятности, непрерывную логику, логику бесконечных формул и другие расширения.

Книга подробно разбирает фундаментальные понятия: типы, элементарные классы, стабильность, омега-стабильность в нестандартных логиках, а также приложения к алгебре, геометрии и анализе. Особое внимание уделено связи между синтаксисом и семантикой в обобщенных контекстах и новым методам классификации структур.

• специалистам по математической логике и теории моделей
• аспирантам и исследователям, работающим с нестандартными логиками
• математикам, применяющим логические методы в алгебре и геометрии
• тем, кто хочет выйти за рамки классической теории моделей первого порядка