Semilattices of computable indexations of classes of constructive models
DOI10.1007/BF01978690zbMATH Open0663.03034MaRDI QIDQ1114679FDOQ1114679
Authors: V. P. Dobritsa
Publication date: 1987
Published in: Algebra and Logic (Search for Journal in Brave)
index seteffectively presented modelscomputable indexings of families of constructive models[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+numbers+of+finite+models&go=Go G��del numbers of finite models]semilattice of countable indexings
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)
Cites Work
Cited In (3)
This page was built for publication: Semilattices of computable indexations of classes of constructive models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1114679)