\(\Pi^0_1\)-presentations of algebras

DOI10.1007/s00153-006-0013-3zbMath1099.03025OpenAlexW2074185447MaRDI 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

zbMATH Keywords

computable algebras

Mathematics Subject Classification ID

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

Related Items (10)

Homomorphisms onto effectively separable algebras ⋮ Computably separable models ⋮ Uniform \(m\)-equivalencies and numberings of classical systems ⋮ Classifying word problems of finitely generated algebras via computable reducibility ⋮ Computability and universal determinability of negatively representable models ⋮ Separable algorithmic representations of classical systems and their applications ⋮ 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

Cites Work

• Stability among r.e. quotient algebras
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Handbook of computability theory
• COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
• Hierarchies of Boolean algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Pi^0_1\)-presentations of algebras