Semilattices of computable indexations of classes of constructive models

DOI10.1007/BF01978690MaRDI QIDQ1114679zbMATH OpenFDO

Authors V. P. Dobritsa

Publication date 1987

Published in Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

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

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

(3)

• The number of computable indexations of finite classes of constructive models
• Computable classes of constructive models with non-limit-equivalent indexations
• The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

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)