Название: Конечно аксиоматизируемые теории Автор: Перетятькин М.Г. Издательство: Научная книга Год: 1997 Формат: PDF, djvu Страниц: 327 Размер: 12,91 Мб Язык: русский
Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
Навигация
Вход на сайт
Реклама
Конечно аксиоматизируемые теории 
