Computably separable models

DOI10.1007/S10958-022-06033-1MaRDI QIDQ2168971zbMATH OpenOpenAlexFDO

Authors N. Kh. Kasymov, F. N. Ibragimov

Publication date 29 August 2022

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

Full work available at URL https://doi.org/10.1007/s10958-022-06033-1

Mathematics Subject Classification ID

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

Cites work

• 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 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 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 3534471 (Why is no real title available?)
• scientific article; zbMATH DE number 3628362 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 3254884 (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 3091018 (Why is no real title available?)
• scientific article; zbMATH DE number 3110189 (Why is no real title available?)
• Algebras over negative equivalences
• CONSTRUCTIVE ALGEBRAS I
• Definability of linear orders over negative equivalences
• Enumerated algebras with uniformly recursive-separable classes
• Hierarchies of Boolean algebras
• Homomorphisms onto effectively separable algebras
• Homomorphisms onto negative algebras
• Linear orders realized by c.e. equivalence relations
• Negative dense linear orders
• On computable automorphisms of the rational numbers
• Positive algebras with Noetherian congruence lattices
• Positive algebras with countable congruence lattices
• Recursively separable enumerated algebras
• Rekursive Algebren mit Kettenbedingungen
• Separation axioms and partitions of the set of natural numbers
• Structure characterization of the recursively separable models
• \(\Pi^0_1\)-presentations of algebras
• Über rekursive Strukturen

Cited in

(2)

• Computability and universal determinability of negatively representable models
• Computability of homogeneous models

This page was built for publication: Computably separable models

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