Дудаков, С.М. (2015) СИЛЬНАЯ МИНИМАЛЬНОСТЬ И IFP-БЕЗОПАСНОСТЬ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 25-32. ISSN 1995-0136
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
Repository Staff Only: item control page