\(T_1\)-separable numberings of subdirectly indecomposable algebras

DOI10.1007/S10469-021-09651-XOpenAlexW4200209051MaRDI QIDQ2066092

I. A. Khodzhamuratova, N. Kh. Kasymov, Andrey S. Morozov

Publication date: 13 January 2022

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-021-09651-x

zbMATH Keywords

positivitynegativityNoetheriannessArtiniannesseffective separabilitycomputable and enumerable topologiessubdirect indecomposabilitytopological numbered algebrastranslational precompleteness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Related Items (3)

Uniform \(m\)-equivalencies and numberings of classical systems ⋮ Lower semilattices of separable congruences of numbered algebras ⋮ Separable algorithmic representations of classical systems and their applications

Cites Work

• Homomorphisms onto effectively separable algebras
• Separable enumerations of division rings and effective embeddability of rings therein
• \(\Pi^0_1\)-presentations of algebras
• Recursively separable enumerated algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(T_1\)-separable numberings of subdirectly indecomposable algebras