Structures of degrees of negative representations of linear orders

DOI10.3103/S1066369X21120045zbMath1496.03172OpenAlexW4200220893MaRDI QIDQ2066437

S. K. Djavliev, N. Kh. Kasymov, R. N. Dadazhanov

Publication date: 14 January 2022

Published in: Russian Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s1066369x21120045

zbMATH Keywords

standard representationdegree of representabilityenumerated systemlinear order with endomorphismsnegative and positive representationssplittable degree

Mathematics Subject Classification ID

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

Related Items (2)

Uniformly computably separable algebras with effectively splittable families of negative congruences ⋮ Computability and universal determinability of negatively representable models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Homomorphisms onto effectively separable algebras
• Definability of linear orders over negative equivalences
• Positive algebras with congruences of finite index
• Positive algebras with Noetherian congruence lattices
• Positive equivalences with finite classes and related algebras
• The number of algebras over simple sets
• Homomorphisms onto negative algebras
• The number of \(Q\)-congruences in positive 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
• Separable enumerations of division rings and effective embeddability of rings therein
• Topological spaces over algorithmic representations of universal algebras
• Nonconstructive negative algebras with finiteness conditions
• Positive algebras with countable congruence lattices
• \(\Pi^0_1\)-presentations of algebras
• On computable automorphisms of the rational numbers
• LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
• Recursively separable enumerated algebras
• CONSTRUCTIVE ALGEBRAS I
• Hierarchies of Boolean algebras

This page was built for publication: Structures of degrees of negative representations of linear orders