Works cited by this work

12 works

Work: Computably Separable Models

1. Homomorphisms onto effectively separable algebras

   N. Kh. Kasymov

   ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 citations

   ABIABI:AkademIndex/openalex/2016.article.000113

2. Separation axioms and partitions of the set of natural numbers

   N. Kh. Kasymov

   Article199313 citations

   ABIABI:AkademIndex/openalex/2026.other.407930

3. Рекурсивно отделимые нумерованные алгебры

   Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов

   Article19968 citations

   ABIABI:AkademIndex/openalex/2026.other.391811

4. On computable automorphisms of the rational numbers

   Andrey Morozov, J. K. Truss

   Article20018 citations

   ABIABI:AkademIndex/openalex/2026.other.407931

5. LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

   Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1

   Article20168 citations

   ABIABI:AkademIndex/openalex/2026.other.408874

6. Existential quantifiers in abstract data types

   Manfred Broy, Walter Dosch, H. Partsch +2

   Chapter19797 citations

   ABIABI:AkademIndex/openalex/2026.other.408869

7. Some definitions for algebraic data type specifications

   Sam Kamin

   Article19797 citations

   ABIABI:AkademIndex/openalex/2026.other.408870

8. Hierarchies of Boolean algebras

   Lawrence Feiner

   Article19706 citations

   ABIABI:AkademIndex/openalex/2026.other.408868

9. Rekursive Algebren mit Kettenbedingungen

   Walter Bäur

   Article19745 citations

   ABIABI:AkademIndex/openalex/2026.other.408873

10. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.617949

11. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.617950

12. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.617951