Separable algorithmic representations of classical systems and their applications

DOI10.1007/S10958-024-06934-3MaRDI QIDQ6192015zbMATH OpenOpenAlexFDO

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

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

Cites work

• ^0_1-presentations of algebras
• \(T_1\)-separable numberings of subdirectly indecomposable algebras
• Algebras over negative equivalences
• Definability of linear orders over negative equivalences
• Effective compacts over co-immune sets
• Enumerated algebras with uniformly recursive-separable classes
• Hierarchies of Boolean algebras
• Homomorphisms onto effectively separable algebras
• Homomorphisms onto negative algebras
• scientific article; zbMATH DE number 4172368 (Why is no real title available?)
• scientific article; zbMATH DE number 4172407 (Why is no real title available?)
• scientific article; zbMATH DE number 3113504 (Why is no real title available?)
• scientific article; zbMATH DE number 4216990 (Why is no real title available?)
• scientific article; zbMATH DE number 4217488 (Why is no real title available?)
• scientific article; zbMATH DE number 4142002 (Why is no real title available?)
• scientific article; zbMATH DE number 3936489 (Why is no real title available?)
• scientific article; zbMATH DE number 4007714 (Why is no real title available?)
• scientific article; zbMATH DE number 4079406 (Why is no real title available?)
• scientific article; zbMATH DE number 4085632 (Why is no real title available?)
• scientific article; zbMATH DE number 4102471 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 58130 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• scientific article; zbMATH DE number 2034252 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 1404550 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 3271554 (Why is no real title available?)
• scientific article; zbMATH DE number 3319527 (Why is no real title available?)
• scientific article; zbMATH DE number 3353345 (Why is no real title available?)
• scientific article; zbMATH DE number 3404221 (Why is no real title available?)
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• scientific article; zbMATH DE number 3110189 (Why is no real title available?)
• Linear orders realized by c.e. equivalence relations
• Negative dense linear orders
• Nonconstructive negative algebras with finiteness conditions
• On computable automorphisms of the rational numbers
• Positive algebras with countable congruence lattices
• Positive algebras with Noetherian congruence lattices
• Positive equivalences with finite classes and related algebras
• Recursively enumerable sets and degrees
• Recursively separable enumerated algebras
• Rekursive Algebren mit Kettenbedingungen
• Separable enumerations of division rings and effective embeddability of rings therein
• Separation axioms and partitions of the set of natural numbers
• Structure characterization of the recursively separable models
• The number of \(Q\)-congruences in positive algebras
• Über rekursive Strukturen

Cited in

(2)

• Finite logical specifications of effectively separable data models
• One question of the theory of numbered groups

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)