Local classes and computable indexations

DOI10.1007/BF01978387MaRDI QIDQ1115864zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 1987

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

zbMATH Keywords

reducibilityconstructive modelslocal classescomputable indexings

Mathematics Subject Classification ID

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

Recommendations

• Computability of the set of computable indexing schemes of the class of constructible models
• scientific article; zbMATH DE number 4053597
• scientific article; zbMATH DE number 4101163
• scientific article; zbMATH DE number 4035802
• Publication:4735182

Cited in

(9)

• scientific article; zbMATH DE number 4035802 (Why is no real title available?)
• scientific article; zbMATH DE number 3853049 (Why is no real title available?)
• scientific article; zbMATH DE number 4101162 (Why is no real title available?)
• scientific article; zbMATH DE number 4121979 (Why is no real title available?)
• scientific article; zbMATH DE number 4053597 (Why is no real title available?)
• Conditions of effective infinity for the set of computable indexings of a class of constructive models
• Computability of the set of computable indexing schemes of the class of constructible models
• scientific article; zbMATH DE number 4101163 (Why is no real title available?)
• A generalization of Selivanov's theorem

This page was built for publication: Local classes and computable indexations

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