LogoTver State University Repository

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

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

[img] PDF - Published Version
310kB

Abstract

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

Abstract (en)

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

Item Type:Article
Additional Information:1. Дудаков Сергей Михайлович заведующий кафедрой информатики Тверского госуниверситета.
Uncontrolled Keywords:сильная минимальность, конечная аксиоматизируемость, инфляционная фиксированная точка
Keywords (en):strong minimality, finite axiomatizability, inflationary fix point
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.53 Алгоритмические проблемы; алгоритмическая теория множеств
5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:7903
Deposited By: С.Б. Федорова
Deposited On:10 Sep 2018 12:37
Last Modified:10 Sep 2018 12:37

Repository Staff Only: item control page