Homomorphisms onto effectively separable algebras

DOI10.1134/S0037446616010055zbMath1377.03035OpenAlexW2316334895MaRDI QIDQ299155

N. Kh. Kasymov

Publication date: 22 June 2016

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446616010055

zbMATH Keywords

separable algebranegative equivalencenumberingseparable enumerationseparable equivalence

Mathematics Subject Classification ID

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

Related Items (10)

Computably separable models ⋮ Uniform \(m\)-equivalencies and numberings of classical systems ⋮ Computability and universal determinability of negatively representable models ⋮ Lower semilattices of separable congruences of numbered algebras ⋮ Topological spaces over algorithmic representations of universal algebras ⋮ 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

• Definability of linear orders over negative equivalences
• Algebras over negative equivalences
• \(\Pi^0_1\)-presentations of algebras
• Recursively separable enumerated algebras
• CONSTRUCTIVE ALGEBRAS I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Homomorphisms onto effectively separable algebras