Дудаков, С.М. (2005) Разрешимая теория без трансляционной теоремы. Вестник ТвГУ. Серия: Прикладная математика (2). С. 23-26. ISSN 1995-0136
|
PDF
- Опубликованная версия
2MB |
Абстракт
Предлагается пример теории, который опровергает гипотезу из [1] о том, что не существует разрешимых теорий без трансляционной теоремы.
Абстракт (англ.)
We construct a theory which decline the hypothesis from [1] that there is no decidable theory without the collapse result.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Дудаков Сергей Михайлович, 170100, г. Тверь, ул. Желябова, 33 Тверской государственный университет доцент кафедры информатики. |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 1320 |
| Deposited By: | И.С. Солдатенко |
| Deposited On: | 08 Янв 2017 08:14 |
| Последнее изменение: | 08 Янв 2017 08:14 |
Repository Staff Only: item control page
