\(\Pi^0_1\)-presentations of algebras
From MaRDI portal
Publication:2505502
DOI10.1007/s00153-006-0013-3zbMath1099.03025MaRDI QIDQ2505502
Pavel Semukhin, Bakhadyr Khoussainov, Theodore A. Slaman
Publication date: 26 September 2006
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-006-0013-3
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Homomorphisms onto effectively separable algebras, Negative dense linear orders, Separable enumerations of division rings and effective embeddability of rings therein, \(T_1\)-separable numberings of subdirectly indecomposable algebras, Structures of degrees of negative representations of linear orders, Uniform \(m\)-equivalencies and numberings of classical systems
Cites Work