Semilattices of computable indexations of classes of constructive models

DOI10.1007/BF01978690zbMath0663.03034MaRDI QIDQ1114679

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 modelsGödel numbers of finite modelssemilattice of countable indexings

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item

This page was built for publication: Semilattices of computable indexations of classes of constructive models