Перетятькин М.Г. - Конечно аксиоматизируемые теории

Автор(ы)

Сибирская школа алгебры и логики

Год

1996

Язык

rus

ISBN

5-88119-010-6

Аннотация

Конечно аксиоматизируемые теории Год : 1996 Автор : Перетятькин М.Г. Жанр : Монография Издательство : Новосибирск: Научная книга ISBN : 5-88119-010-6 Серия : Сибирская школа алгебры и логики Язык : Русский Формат : DjVu Качество : Отсканированные страницы + слой распознанного текста Количество страниц : 327 Описание : Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой. Примеры страниц Оглавление Какой программой открыть книгу? Программы для работы с электронными книгами (краткий справочник) Опубликовано группой