scientific article; zbMATH DE number 4053597

zbMATH Open0646.03041MaRDI QIDQ3789547FDOQ3789547

Authors: V. P. Dobritsa 

Publication date: 1987

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)