LogoTver State University Repository

Разрешимая теория без трансляционной теоремы

Дудаков, С.М. (2005) Разрешимая теория без трансляционной теоремы. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 23-26. ISSN 1995-0136

[img]
Preview
PDF - Published Version
2MB

Abstract

Предлагается пример теории, который опровергает гипотезу из [1] о том, что не существует разрешимых теорий без трансляционной теоремы.

Abstract (en)

We construct a theory which decline the hypothesis from [1] that there is no decidable theory without the collapse result.

Item Type:Article
Additional Information:Дудаков Сергей Михайлович, 170100, г. Тверь, ул. Желябова, 33 Тверской государственный университет доцент кафедры информатики.
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:1320
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:14
Last Modified:08 Jan 2017 08:14

Repository Staff Only: item control page