Homomorphisms onto effectively separable algebras
From MaRDI portal
Publication:299155
DOI10.1134/S0037446616010055zbMATH Open1377.03035OpenAlexW2316334895MaRDI QIDQ299155FDOQ299155
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
Recommendations
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Title not available (Why is that?)
- Algebras over negative equivalences
- \(\Pi^0_1\)-presentations of algebras
- Definability of linear orders over negative equivalences
- Recursively separable enumerated algebras
- Title not available (Why is that?)
- CONSTRUCTIVE ALGEBRAS I
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (16)
- Separable enumerations of division rings and effective embeddability of rings therein
- Negative dense linear orders
- Homomorphisms of separoids
- Lower semilattices of separable congruences of numbered algebras
- Separable algorithmic representations of classical systems and their applications
- Homomorphisms onto negative algebras
- Algebras over negative equivalences
- Computably separable models
- Uniform \(m\)-equivalencies and numberings of classical systems
- Logical specifications of effectively separable data models
- Enumerated algebras with uniformly recursive-separable classes
- \(T_1\)-separable numberings of subdirectly indecomposable algebras
- Structures of degrees of negative representations of linear orders
- Topological spaces over algorithmic representations of universal algebras
- Computability and universal determinability of negatively representable models
- Positive equivalences with finite classes and related algebras
This page was built for publication: Homomorphisms onto effectively separable algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299155)
