Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   

Поиск по указателям

Grohe M. — The Structure of Fixed-Point Logics
Grohe M. — The Structure of Fixed-Point Logics

Читать книгу

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: The Structure of Fixed-Point Logics

Автор: Grohe M.


In classical model theory first-order logic has always played an overwhelming role, whereas in finite model theory there has been an emphasis on the study of more expressive logics right from the start. A reason for this is that most classical results and methods fail in the scope of finite models, and first-order logic loses its distinguishing features such as the compactness theorem and the Lowenheim Skolem theorem.
Furthermore, an important direction in finite model theory is the study of the connection between computational complexity and logical expressibility. It is evident that for this purpose the logics need to be able to describe recursion in an appropriate way which first-order logic is not.
So it seems reasonable to strengthen first-order logic by a suitable recursion mechanism. A natural way to do this is to augment it by a fixed-point operator. In fact there are different ways to define such an operator which result in several well-known fixed-point logics such as partial fixed-point logic and least fixed-point logic.
Logics with a fixed-point operator have already played a role in classical recursion theory as a way to formalize inductive definitions. In particular, Moschovakis devoted a monograph [Mos74] to the study of this subject. Many basic results that have later been applied in finite model theory were given there.

Язык: en

Рубрика: Математика/

Тип: Диссертация

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1994

Количество страниц: 178

Добавлена в каталог: 28.03.2007

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
Предметный указатель
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2018
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте