Some elementary degree-theoretic reasons why structures need similarity types
From MaRDI portal
Publication:3784058
DOI10.2307/2274027zbMath0643.03031OpenAlexW2168474146MaRDI QIDQ3784058
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274027
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
This page was built for publication: Some elementary degree-theoretic reasons why structures need similarity types