Separable algorithmic representations of classical systems and their applications

DOI10.1007/S10958-024-06934-3OpenAlexW4391144351MaRDI QIDQ6192015FDOQ6192015

Authors: N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov 

Publication date: 12 February 2024

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-024-06934-3

zbMATH Keywords

classical algebraic systemMaltsev theoremseparable algorithmic representation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras over negative equivalences
• \(\Pi^0_1\)-presentations of algebras
• Homomorphisms onto effectively separable algebras
• Definability of linear orders over negative equivalences
• Recursively separable enumerated algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On computable automorphisms of the rational numbers
• Positive algebras with Noetherian congruence lattices
• Recursively enumerable sets and degrees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rekursive Algebren mit Kettenbedingungen
• Title not available (Why is that?)
• Hierarchies of Boolean algebras
• Title not available (Why is that?)
• Structure characterization of the recursively separable models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear orders realized by c.e. equivalence relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Positive equivalences with finite classes and related algebras
• Positive algebras with countable congruence lattices
• Title not available (Why is that?)
• Homomorphisms onto negative algebras
• The number of \(Q\)-congruences in positive algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Separation axioms and partitions of the set of natural numbers
• Enumerated algebras with uniformly recursive-separable classes
• Negative dense linear orders
• Über rekursive Strukturen
• Separable enumerations of division rings and effective embeddability of rings therein
• \(T_1\)-separable numberings of subdirectly indecomposable algebras
• Nonconstructive negative algebras with finiteness conditions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Effective compacts over co-immune sets

This page was built for publication: Separable algorithmic representations of classical systems and their applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6192015)