Skip to main content
AkademIndex

Products

For developers

AkademBasesoonOpen API for the ecosystem
← Back to work

Works cited by this work

24 works

Work: Lower Semilattices of Separable Congruences of Numbered Algebras

  1. Homomorphisms onto effectively separable algebras

    N. Kh. Kasymov

    ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 citations
    ABI

  2. Enumerated algebras with uniformly recursive-separable classes

    N. Kh. Kasymov

    Article199316 citations
    ABI

  3. Recursively separable enumerated algebras

    N. Kh. Kasymov

    Article199615 citations
    ABI

  4. Algebras over negative equivalences

    N. Kh. Kasymov

    Article199413 citations
    ABI

  5. A characterisation of computable data types by means of a finite equational specification method

    J. A. Bergstra, John V. Tucker

    Chapter198013 citations
    ABI

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

    N. Kh. Kasymov

    Article199313 citations
    ABI

  7. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Article196112 citations
    ABI

  8. Positive algebras with countable congruence lattices

    N. Kh. Kasymov

    Article199212 citations
    ABI

  9. Homomorphisms onto negative algebras

    N. Kh. Kasymov

    Article199212 citations
    ABI

  10. Definability of Linear Orders over Negative Equivalences

    N. Kh. Kasymov, Andrey Morozov

    ArticleComputability, Logic, AI AlgorithmsAlgebra and Logic201611 citations
    ABI

  11. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Article198711 citations
    ABI

  12. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Article199110 citations
    ABI

  13. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Article19929 citations
    ABI

  14. Untitled

    Other9 citations
    ABI

  15. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Article20018 citations
    ABI

  16. T1-Separable Numberings of Subdirectly Indecomposable Algebras

    N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova

    ArticleComputability, Logic, AI AlgorithmsAlgebra and Logic20217 citations
    ABI

  17. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

    ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20176 citations
    ABI

  18. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

    Article19904 citations
    ABI

  19. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Article19684 citations
    ABI

  20. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Article19693 citations
    ABI

  21. Constructive Models

    Yuri L. Ershov, С. С. Гончаров

    Book20003 citations
    ABI

  22. Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

    R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova

    ArticleComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 citations
    ABI

  23. Untitled

    Other1 citations
    ABI

  24. Untitled

    Other1 citations
    ABI