RUSSIAN

Конечно аксиоматизируемые теории

By Перетятькин М.Г.

Book information

Publisher
Науч. кн
Year
1997
ISBN
5-88119-010-6
Language
russian
Format
DJVU
Filesize
3 MB (2863986 bytes)
Series
Сибирская школа алгебры и логики
Pages
327\327
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота - Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.

Similar books