Constructive models of regularly infinite algorithmic dimension

DOI10.1007/BF00739993MaRDI QIDQ1842380zbMATH OpenOpenAlexFDO

Authors Yu. G. Ventsov

Publication date 17 May 1995

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

Full work available at URL https://doi.org/10.1007/bf00739993

zbMATH Keywords

branching modelscomputable class of constructivizationsconstructivizationinfinite algorithmic dimensionunbounded model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Review text

In papers of \textit{S. S. Goncharov} [Algebra Logika 19, 23-44 (1980; Zbl 0468.03022)] and of \textit{S. S. Goncharov} and \textit{V. D. Dzgoev} [ibid. 19, 45-58 (1980; Zbl 0468.03023)], the classes of unbounded and branching models are defined and their algorithmic dimensions are proved to be equal to \(\omega\). Here, the author defines a class of models of infinite algorithmic dimension which includes the classes mentioned above.

Recommendations

• Computable classes of constructivizations for models of infinite algorithmic dimension
• scientific article; zbMATH DE number 749929
• scientific article; zbMATH DE number 804044
• scientific article; zbMATH DE number 4145883
• scientific article; zbMATH DE number 4093434

Cites work

• Autostability of models
• Computable classes of constructivizations for models of infinite algorithmic dimension
• scientific article; zbMATH DE number 4145883 (Why is no real title available?)

Cited in

(5)

• Computable classes of constructivizations for models of infinite algorithmic dimension
• A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.
• scientific article; zbMATH DE number 4212019 (Why is no real title available?)
• scientific article; zbMATH DE number 1302875 (Why is no real title available?)
• scientific article; zbMATH DE number 749929 (Why is no real title available?)

This page was built for publication: Constructive models of regularly infinite algorithmic dimension

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