scientific article
From MaRDI portal
Publication:3789547
zbMATH Open0646.03041MaRDI QIDQ3789547
Publication date: 1987
Full work available at URL: https://eudml.org/doc/187403
Title of this publication is not available (Why is that?)
index seteffectively presented modelscomputable indexings of families of constructive modelsGödel numbers of finite modelssemilattice of countable indexings
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)
Related Items (5)
The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable ⋮ The number of computable indexations of finite classes of constructive models ⋮ Computable classes of constructive models with non-limit-equivalent indexations ⋮ Reconstructing structures with the strong small index property up to bi-definability ⋮ Title not available (Why is that?)
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)
