Publication:3337461
From MaRDI portal
zbMath0546.03025MaRDI QIDQ3337461
Publication date: 1983
constructive models; recursive isomorphism; satisfaction predicate; r.e. sets of formulae; recursively enumerable model
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items