Ushbu ish iqtibos qilgan ishlar

24 ta ish

Ish: Lower Semilattices of Separable Congruences of Numbered Algebras

1. Homomorphisms onto effectively separable algebras

   N. Kh. Kasymov

   MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201621 iqtibos

   ABIABI:AkademIndex/2016.article.000113

2. Recursively separable enumerated algebras

   N. Kh. Kasymov

   Maqola199618 iqtibos

   ABIABI:AkademIndex/2026.other.357715

3. Enumerated algebras with uniformly recursive-separable classes

   N. Kh. Kasymov

   Maqola199318 iqtibos

   ABIABI:AkademIndex/2026.other.407927

4. Algebras over negative equivalences

   N. Kh. Kasymov

   Maqola199415 iqtibos

   ABIABI:AkademIndex/2026.other.357713

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

   N. Kh. Kasymov

   Maqola199315 iqtibos

   ABIABI:AkademIndex/2026.other.407930

6. Positive algebras with countable congruence lattices

   N. Kh. Kasymov

   Maqola199214 iqtibos

   ABIABI:AkademIndex/2026.other.407924

7. Homomorphisms onto negative algebras

   N. Kh. Kasymov

   Maqola199214 iqtibos

   ABIABI:AkademIndex/2026.other.407928

8. Definability of Linear Orders over Negative Equivalences

   N. Kh. Kasymov, Andrey Morozov

   MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic201613 iqtibos

   ABIABI:AkademIndex/2026.other.357716

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

   J. A. Bergstra, John V. Tucker

   Bob198013 iqtibos

   ABIABI:AkademIndex/2026.other.407920

10. Positive algebras with congruences of finite index

    N. Kh. Kasymov

    Maqola199113 iqtibos

    ABIABI:AkademIndex/2026.other.407921

11. CONSTRUCTIVE ALGEBRAS I

    A. I. Malʹt︠s︡ev

    Maqola196112 iqtibos

    ABIABI:AkademIndex/2026.other.357712

12. Algebras with finitely approximable positively representable enrichments

    N. Kh. Kasymov

    Maqola198711 iqtibos

    ABIABI:AkademIndex/2026.other.407929

13. Sarlavhasiz

    Boshqa10 iqtibos

    ABIABI:AkademIndex/2026.other.407935

14. Positive algebras with nonetherian congruence lattices

    N. Kh. Kasymov

    Maqola19929 iqtibos

    ABIABI:AkademIndex/2026.other.407925

15. On computable automorphisms of the rational numbers

    Andrey Morozov, J. K. Truss

    Maqola20018 iqtibos

    ABIABI:AkademIndex/2026.other.407931

16. Negative Dense Linear Orders

    N. Kh. Kasymov, R. N. Dadazhanov

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20178 iqtibos

    ABIABI:AkademIndex/2026.other.407933

17. T1-Separable Numberings of Subdirectly Indecomposable Algebras

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

    MaqolaComputability, Logic, AI AlgorithmsAlgebra and Logic20217 iqtibos

    ABIABI:AkademIndex/2021.article.000775

18. Weakly semirecursive sets

    Carl G. Jockusch, James C. Owings

    Maqola19904 iqtibos

    ABIABI:AkademIndex/2026.other.407923

19. Semirecursive sets and positive reducibility

    Carl G. Jockusch

    Maqola19684 iqtibos

    ABIABI:AkademIndex/2026.other.407926

20. Theory of Recursive Functions and Effective Computability

    D. C. Cooper

    Maqola19694 iqtibos

    ABIABI:AkademIndex/2026.other.407934

21. Constructive Models

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

    Kitob20003 iqtibos

    ABIABI:AkademIndex/2026.other.407936

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

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

    MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 iqtibos

    ABIABI:AkademIndex/2026.other.407937

23. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/2026.other.407922

24. Sarlavhasiz

    Boshqa1 iqtibos

    ABIABI:AkademIndex/2026.other.407932