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

index seteffectively presented modelscomputable indexings of families of constructive modelssemilattice of countable indexingsGödel numbers of finite models

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

(9)

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

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)