Index Sets of Decidably Categorical Models with Unary Functional Symbols

Переведенное название	Индексные множества разрешимо категоричных моделей с унарными функциональными символами
Язык оригинала	английский
Страницы (с-по)	10-20
Число страниц	11
Журнал	Algebra and Logic
Том	65
Номер выпуска	1
DOI	https://doi.org/10.1007/s10469-026-09850-4
Состояние	Опубликовано - 15 окт. 2026

вычислимая модель, сильно конструктивизируемая модель, разрешимая модель, вычислимая категоричность, разрешимая категоричность, индексное множество, инъективная унарная алгебра

ID: 85123484