The number of computable indexations of finite classes of constructive models

DOI10.1007/BF01159572MaRDI QIDQ580331zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 1986

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

computable classcomputable indexationfinitely many constructive models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• Computability of the set of computable indexing schemes of the class of constructible models
• Computable classes of constructive models with non-limit-equivalent indexations
• scientific article; zbMATH DE number 4053597
• scientific article; zbMATH DE number 4101163
• Semilattices of computable indexations of classes of constructive models
• Conditions of effective infinity for the set of computable indexings of a class of constructive models
• Complexity of index sets of calculable classes with a finite number of constructive systems
• Computable classes of constructivizations for models of finite constructivizability type
• scientific article; zbMATH DE number 16546
• scientific article; zbMATH DE number 3853049

Cited in

(6)

• scientific article; zbMATH DE number 4035802 (Why is no real title available?)
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)
• The number of nonequivalent computable indexations for a fixed family of sets
• Computable classes of constructive models with non-limit-equivalent indexations
• scientific article; zbMATH DE number 5379427 (Why is no real title available?)
• A.D. Taimanov and model theory in Kazakhstan

This page was built for publication: The number of computable indexations of finite classes of constructive models

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