Computable classes of constructivizations for models of infinite algorithmic dimension

DOI10.1007/BF00739415zbMath0832.03021MaRDI QIDQ1346928

Yu. G. Ventsov

Publication date: 20 April 1995

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

constructivizationbranching modelautostable modelrecursively categorical modelconstructivizable modelcomputable class of constructivizationsinfinite algorithmic dimensionunbounded model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

Constructive models of regularly infinite algorithmic dimension

Cites Work

• Unnamed Item
• Equationally compact distributive lattices
• Nonuniform autostability of models
• Autostability of models

This page was built for publication: Computable classes of constructivizations for models of infinite algorithmic dimension