Index Sets of Decidably Categorical Models with Unary Functional Symbols

Translated title of the contribution	Индексные множества разрешимо категоричных моделей с унарными функциональными символами
Original language	English
Pages (from-to)	10-20
Number of pages	11
Journal	Algebra and Logic
Volume	65
Issue number	1
DOIs	https://doi.org/10.1007/s10469-026-09850-4
Publication status	Published - 15 Oct 2026

computable categoricity, computable model, decidable categoricity, decidable model, index set, injective unar, strongly constructivizable model

ID: 85123484