СИЛЬНАЯ МИНИМАЛЬНОСТЬ И IFP-БЕЗОПАСНОСТЬ

Дудаков, С.М. (2015) СИЛЬНАЯ МИНИМАЛЬНОСТЬ И IFP-БЕЗОПАСНОСТЬ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 25-32. ISSN 1995-0136

[thumbnail of elibrary_25069412_62239663 25-32.pdf]

PDF - Опубликованная версия
310kB

Абстракт

В работе продолжено исследование IFP-безопасности теорий. Доказано, что среди полных конечно аксиоматизируемых сильно минимальных теорий IFP-безопасных нет

Абстракт (англ.)

We continue to investigate an IFP-safety of theories. It is proved that complete finitely axiomatizable strongly minimal theories are IFP-unsafe

Тип объекта:	Статья
Сведения об авторах:	1. Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета.
Ключевые слова:	сильная минимальность, конечная аксиоматизируемость, инфляционная фиксированная точка
Ключевые слова (англ.):	strong minimality, finite axiomatizability, inflationary fix point
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.53 Алгоритмические проблемы; алгоритмическая теория множеств 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
Подразделения:	Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:	7903
Deposited On:	10 Сен 2018 12:37
Последнее изменение:	10 Сен 2018 12:37

Repository Staff Only: item control page