Effectively infinite classes of weak constructivizations of models

DOI10.1007/BF02263053MaRDI QIDQ1346921zbMATH OpenOpenAlexFDO

Authors S. S. Goncharov

Publication date 20 April 1995

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

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

zbMATH Keywords

constructivizable modelstrongly constructive modelsweak constructivization

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Computable classes of constructivizations for models of finite constructivizability type
• Computable classes of constructive models with non-limit-equivalent indexations
• scientific article; zbMATH DE number 1534360
• scientific article; zbMATH DE number 4101163
• scientific article; zbMATH DE number 804044

Cites work

• Autostability of models
• Autostability of models and Abelian groups
• Computable classes of constructivizations for models of finite constructivizability type
• scientific article; zbMATH DE number 4035802 (Why is no real title available?)
• scientific article; zbMATH DE number 3732033 (Why is no real title available?)
• scientific article; zbMATH DE number 3561335 (Why is no real title available?)
• scientific article; zbMATH DE number 3561336 (Why is no real title available?)

Cited in

(10)

• Computable isomorphisms, degree spectra of relations, and Scott families
• Effective choice for relations and reducibilities in classes of constructive and positive models
• Effective choice operations on constructive and positive models
• Computable classes of constructivizations for models of finite constructivizability type
• Computable classes of constructivizations for models of infinite algorithmic dimension
• Constructivizable models with a linear structure of algebraic reducibility
• scientific article; zbMATH DE number 4164817 (Why is no real title available?)
• scientific article; zbMATH DE number 2047487 (Why is no real title available?)
• scientific article; zbMATH DE number 1534360 (Why is no real title available?)
• scientific article; zbMATH DE number 804044 (Why is no real title available?)

This page was built for publication: Effectively infinite classes of weak constructivizations of models

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