Publication:4143289
From MaRDI portal
zbMath0367.02023MaRDI QIDQ4143289
Publication date: 1975
03D25: Recursively (computably) enumerable sets and degrees
03D99: Computability and recursion theory
03C68: Other classical first-order model theory
Related Items
COMPUTABLE POLISH GROUP ACTIONS, Analytic computable structure theory and $L^p$ spaces, Computable categoricity for algebraic fields with splitting algorithms, The complexity of computable categoricity, Computable torsion abelian groups, Computability-theoretic categoricity and Scott families, A.D. Taimanov and model theory in Kazakhstan, A robuster Scott rank