On Index Sets of Some Properties of Computable Algebras

DOI10.1007/978-3-642-13962-8_25zbMath1286.03128OpenAlexW1535192061MaRDI QIDQ3576209

Bakhadyr Khoussainov, Andrey S. Morozov

Publication date: 29 July 2010

Published in: Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_25

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: On Index Sets of Some Properties of Computable Algebras