31 citations to https://www.mathnet.ru/rus/al101
-
I. N. Soskov, “Effective properties of Marker's extensions”, Journal of Logic and Computation, 23:6 (2013), 1335
-
E. Fokina, S.-D. Friedman, J. Knight, R. Miller, “Classes of structures with universe a subset of 1”, Journal of Logic and Computation, 23:6 (2013), 1249
-
Uri Andrews, “The degrees of categorical theories with recursive models”, Proc. Amer. Math. Soc., 141:7 (2013), 2501
-
Montalban A., “Rice Sequences of Relations”, Philos. Trans. R. Soc. A-Math. Phys. Eng. Sci., 370:1971, SI (2012), 3464–3487
-
Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17:2 (2011), 272
-
Stefan Vatev, Lecture Notes in Computer Science, 6735, Models of Computation in Context, 2011, 300
-
Fokina E.B., Kalimullin I., Miller R., “Degrees of categoricity of computable structures”, Arch. Math. Logic, 49:1 (2010), 51–67
-
Khoussainov B., Montalban A., “A Computable N-0-Categorical Structure Whose Theory Computes True Arithmetic”, Journal of Symbolic Logic, 75:2 (2010), 728–740
-
Fokina E.B., “Index sets for some classes of structures”, Ann. Pure Appl. Logic, 157:2-3 (2009), 139–147
-
Soskova A., Soskov I.N., “A jump inversion theorem for the degree spectra”, J. Logic Comput., 19:1 (2009), 199–215