Lower semilattices of separable congruences of numbered algebras

DOI10.1134/s0037446623040080MaRDI QIDQ6175224

N. Kh. Kasymov, Andrey S. Morozov

Publication date: 18 August 2023

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

zbMATH Keywords

separabilitypositivenegativecomputable completenesscomputable separabilitycongruence lattices of numbered algebraseffectively separable congruencesnumbered algebras and morphismsuniformly computably separable congruences

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Model theory (03Cxx) Algebraic structures (08Axx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Homomorphisms onto effectively separable algebras
• Definability of linear orders over negative equivalences
• Algebras with finitely approximable positively representable enrichments
• Positive algebras with congruences of finite index
• Positive algebras with Noetherian congruence lattices
• Weakly semirecursive sets and r.e. orderings
• Homomorphisms onto negative algebras
• Separation axioms and partitions of the set of natural numbers
• Enumerated algebras with uniformly recursive-separable classes
• Algebras over negative equivalences
• Negative dense linear orders
• \(T_1\)-separable numberings of subdirectly indecomposable algebras
• Positive algebras with countable congruence lattices
• Uniformly computably separable algebras with effectively splittable families of negative congruences
• On computable automorphisms of the rational numbers
• Weakly semirecursive sets
• Recursively separable enumerated algebras
• Joins and meets in the structure of ceers
• CONSTRUCTIVE ALGEBRAS I
• Semirecursive Sets and Positive Reducibility