Computable classes of constructivizations for models of infinite algorithmic dimension

DOI10.1007/BF00739415MaRDI QIDQ1346928zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 804044
• Constructive models of regularly infinite algorithmic dimension
• Effectively infinite classes of weak constructivizations of models
• scientific article; zbMATH DE number 1534360
• Computable classes of constructive models with non-limit-equivalent indexations

Cites work

• scientific article; zbMATH DE number 4101161 (Why is no real title available?)
• Autostability of models
• Equationally compact distributive lattices
• Nonuniform autostability of models

Cited in

(9)

• The Complexity of Infinite Computations In Models of Set Theory
• scientific article; zbMATH DE number 4217338 (Why is no real title available?)
• scientific article; zbMATH DE number 4093434 (Why is no real title available?)
• scientific article; zbMATH DE number 1534360 (Why is no real title available?)
• A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.
• Computable classes of constructivizations for models of finite constructivizability type
• scientific article; zbMATH DE number 4164817 (Why is no real title available?)
• Computability and universal determinability of negatively representable models
• Constructive models of regularly infinite algorithmic dimension

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1346928)