scientific article; zbMATH DE number 1302873

MaRDI QIDQ4249359zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 21 December 2001

zbMATH Keywords

computable indexationcomputable class of constructive modelsreducibility of indexations

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
• Local classes and computable indexations
• scientific article; zbMATH DE number 4053597
• Conditions of effective infinity for the set of computable indexings of a class of constructive models
• Publication:4735182

Cited in

(15)

• Constructive sets in computable sets
• scientific article; zbMATH DE number 3918348 (Why is no real title available?)
• Effective choice of constructivizations and recursive consistency of problems on constructive models
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• On Constructive Nilpotent Groups
• scientific article; zbMATH DE number 4121979 (Why is no real title available?)
• Complexity of index sets of calculable classes with a finite number of constructive systems
• scientific article; zbMATH DE number 4053597 (Why is no real title available?)
• Computability and computable models
• 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
• Computability of homogeneous models
• Computability and universal determinability of negatively representable models
• scientific article; zbMATH DE number 4101163 (Why is no real title available?)

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 Q4249359)