×

zbMATH — the first resource for mathematics

Limiting equivalent constructivizations. (Russian) Zbl 0543.03017
Matematicheskaya Logika i Teoriya Algoritmov, Tr. Inst. Mat. 2, 4-12 (1982).
The author states a sufficient condition for a model of an algebraic system to have an infinite algorithmic dimension.
Reviewer: V.Ja’kl

MSC:
03C57 Computable structure theory, computable model theory
03C52 Properties of classes of models