А. Н. Гаврюшкин, “Сложность эренфойхтовых моделей”, Алгебра и логика, 2006, том 45, номер 5,страницы 507

Эта публикация цитируется в 6 статьях

Сложность эренфойхтовых моделей

А. Н. Гаврюшкин

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Исследуются примеры эренфойхтовых теорий, обладающих конструктивными моделями и счётными моделями разной сложности, а также оценивается сложность эренфойхтовых теорий, имеющих конструктивные модели.

Ключевые слова: эренфойхтова теория, конструктивная модель.

УДК: 510.53+510.67

Поступило: 26.10.2004
Окончательный вариант: 06.09.2006