scientific article; zbMATH DE number 4053597

MaRDI QIDQ3789547zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 1987

Full work available at URL https://eudml.org/doc/187403

zbMATH Keywords

computable indexings of families of constructive modelseffectively presented modelsGödel numbers of finite modelsindex setsemilattice of countable indexings

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Computable structure theory, computable model theory (03C57) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Recommendations

• scientific article; zbMATH DE number 4035802
• Local classes and computable indexations
• Computability of the set of computable indexing schemes of the class of constructible models
• Conditions of effective infinity for the set of computable indexings of a class of constructive models
• scientific article; zbMATH DE number 1302873

Cited in

(11)

• Local classes and computable indexations
• Computable classes of constructive models with non-limit-equivalent indexations
• 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 4132145 (Why is no real title available?)
• scientific article; zbMATH DE number 4035802 (Why is no real title available?)
• scientific article; zbMATH DE number 1302873 (Why is no real title available?)
• The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
• scientific article; zbMATH DE number 871854 (Why is no real title available?)
• Reconstructing structures with the strong small index property up to bi-definability
• The number of computable indexations of finite classes of constructive models

This page was built for publication:

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