RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика

Алгебра и логика, 2003, том 42, номер 5, страницы 566–593 (Mi al44)

Равномерность в теории вычислимых структур
Р. Доуни, Д. Хиршвельд, Б. Хусаинов

Эта публикация цитируется в следующих статьяx:
  1. Nadim Kasymov, Nadira Karimova, Bakh Khoussainov, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, 1  crossref
  2. Andrey Frolov, Maxim Zubkov, “On categoricity of scattered linear orders of constructive ranks”, Arch. Math. Logic, 2024  crossref
  3. WESLEY CALVERT, JOHANNA N. Y. FRANKLIN, DAN TURETSKY, “STRUCTURAL HIGHNESS NOTIONS”, J. symb. log., 88:4 (2023), 1692  crossref
  4. Antonio Montalbán, Computable Structure Theory, 2021  crossref
  5. Downey R., Greenberg N., Melnikov A., Ng K.M., Turetsky D., “Punctual Categoricity and Universality”, J. Symb. Log., 85:4 (2020), 1427–1466  crossref  mathscinet  zmath  isi  scopus
  6. S. S. Goncharov, V. Harizanov, R. Miller, “On Decidable Categoricity and Almost Prime Models”, Sib. Adv. Math., 30:3 (2020), 200  crossref
  7. Bazhenov N. Downey R. Kalimullin I. Melnikov A., “Foundations of Online Structure Theory”, Bull. Symb. Log., 25:2 (2019), 141–181  crossref  mathscinet  zmath  isi  scopus
  8. Melnikov A.G., “Torsion-Free Abelian Groups With Optimal Scott Families”, J. Math. Log., 18:1 (2018)  crossref  mathscinet  isi  scopus
  9. Korovina M. Kudinov O., “Complexity For Partial Computable Functions Over Computable Polish Spaces”, Math. Struct. Comput. Sci., 28:3, SI (2018), 429–447  crossref  mathscinet  isi  scopus
  10. Greenberg N., Melnikov A.G., Knight J.F., Turetsky D., “Uniform Procedures in Uncountable Structures”, J. Symb. Log., 83:2 (2018), 529–550  crossref  mathscinet  zmath  isi  scopus
  11. Korovina M. Kudinov O., “Computable Elements and Functions in Effectively Enumerable Topological Spaces”, Math. Struct. Comput. Sci., 27:8 (2017), 1466–1494  crossref  mathscinet  zmath  isi  scopus
  12. Montalban A., “Effectively Existentially-Atomic Structures”, Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60Th Birthday, Lecture Notes in Computer Science, 10010, eds. Day A., Fellows M., Greenberg N., Khoussainov B., Melnikov A., Rosamond F., Springer International Publishing Ag, 2017, 221–237  crossref  mathscinet  zmath  isi  scopus
  13. Miller R., “Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey”, Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60Th Birthday, Lecture Notes in Computer Science, 10010, eds. Day A., Fellows M., Greenberg N., Khoussainov B., Melnikov A., Rosamond F., Springer International Publishing Ag, 2017, 254–270  crossref  mathscinet  zmath  isi  scopus
  14. Hirschfeldt D.R. Kramer K. Miller R. Shlapentokh A., “Categoricity Properties For Computable Algebraic Fields”, Trans. Am. Math. Soc., 367:6 (2015), PII S0002-9947(2014)06094-7, 3981–4017  crossref  mathscinet  zmath  isi  elib
  15. Astor E.P., “Asymptotic Density, Immunity and Randomness”, Computability, 4:2 (2015), 141–158  crossref  mathscinet  zmath  isi  scopus
  16. Montalban A., “a Robuster Scott Rank”, Proc. Amer. Math. Soc., 143:12 (2015), 5427–5436  crossref  mathscinet  zmath  isi  elib  scopus
  17. Downey R.G., Kach A.M., Lempp S., Lewis-Pye A.E.M., Montalban A., Turetsky D.D., “the Complexity of Computable Categoricity”, Adv. Math., 268 (2015), 423–466  crossref  mathscinet  zmath  isi  elib  scopus
  18. Barbara F. Csima, Valentina S. Harizanov, Russell Miller, Antonio Montalbán, “Computability of Fraïssé limits”, J. symb. log., 76:1 (2011), 66  crossref
  19. Miller R., “D-Computable Categoricity for Algebraic Fields”, Journal of Symbolic Logic, 74:4 (2009), 1325–1351  crossref  mathscinet  zmath  isi  scopus
  20. Douglas Cenzer, Valentina Harizanov, David Marker, Carol Wood, “Preface”, Arch. Math. Logic, 48:1 (2009), 1  crossref
  21. Jennifer Chubb, Andrey Frolov, Valentina Harizanov, “Degree spectra of the successor relation of computable linear orderings”, Arch. Math. Logic, 48:1 (2009), 7  crossref
  22. Valentina S. Harizanov, Russell G. Miller, “Spectra of structures and relations”, J. symb. log., 72:1 (2007), 324  crossref
  23. John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch, Timothy McNicholl, Sarah Pingrey, “Π10 classes and strong degree spectra of relations”, J. symb. log., 72:3 (2007), 1003  crossref


© МИАН, 2026