The
lattice of computably enumerable vector spaces,
co-authored with R. Dimitrov, in Computability
and Complexity, A. Day, M. Fellows, N.
Greenberg, B. Khoussainov, A. Melnikov, and F.
Rosamond, eds., Springer (2017), pp. 366–393.
Computable model
theory, co-authored with E. Fokina and A.
Melnikov, in Turing's Legacy: Developments from
Turing Ideas in Logic, R. Downey, editor, Cambridge
University Press (2014), pp. 124–194.
Two-to-one
structures, co-authored with D. Cenzer and J.
Remmel, Journal of Logic and Computation 23
(2013), pp. 1195–1223.
Describing free groups,
co-authored with J. Carson, J. Knight, K. Lange, C.
McCoy, A. Morozov, C. Safranski and J. Wallbaum, Transactions of the
American Mathematical Society 364 (2012),
pp. 5715–5728.
The computable
embedding problem, co-authored with J. Carson,
E. Fokina, J. Knight, S. Quinn, C. Safranski and J.
Wallbaum, Algebra
and Logic 50 (2012), pp. 478–493.
Partial
automorphism
semigroups, co-authored with J. Chubb, A.
Morozov, S. Pingrey, and E. Ufferman, Annals of
Pure and Applied Logic 156 (2008), pp.
245–258.
P^{0}1 classes and strong degree
spectra of relations, co-authored with J.
Chisholm, J.Chubb, D. Hirschfeldt, C. Jockusch, T.
McNicholl, and S. Pingrey, to appear in the Journal
of Symbolic Logic 72 (2007), pp. 1003–1018.
Turing
degrees
of nonabelian groups, co-authored with M.
Dabkowska, M. Dabkowski, and A. Sikora, Proceedings
of the American Mathematical Society, 135
(2007), pp. 3383–3391.
Compactness
and spaces of left orders, co-authored with M.
Dabkowska, M. Dabkowski, J. Przytycki, and M. Veve,
Journal of Knot Theory and Its
Ramifications 16 (2007), pp. 257–266.
Enumerations
in
computable structure theory, co-authored with
S. Goncharov, J. Knight, C. McCoy, R. Miller, and R.
Solomon, Annals of Pure and Applied Logic
136 (2005), pp. 219–246.
Sequences
of
n-diagrams, co-authored with J Knight
and A. Morozov, Journal of Symbolic Logic 67,
2002, pp.1227–1247.
Relations
on
computable structures, Contemporary
Mathematics, N. Bokan (editor), devoted to the
125^{th} anniversary of the Department of
Mathematics, University of Belgrade, 2000, pp.
65–81.
Frequency computations and the cardinality
theorem, pdf
file
from JSTOR, co-authored with M. Kummer, and J.
Owings, Journal of Symbolic Logic 57, 1992,
pp. 682–687.
Regular relations and the quantifier ‘there exists
uncountably many’, co-authored with Z. Mijajlovic, Zeitschrift
für Mathematische Logik und Grundlagen der
Mathematik 29, 1983, pp. 151–161.
On some finite groupoids whose equational theories
are not finitely based, Algebraic Conference,
Mathematical Institute, Novi Sad, 1982, pp. 35–38.
On the functional equation ƒgƒ=f, Publications
de l’Institut Mathématique, Nouvelle Série
29, 1981, pp. 61–64.
V. Matiyasevich, Hilbert’s Tenth Problem, V.
Harizanov, Modern
Logic (International Journal for the
History of Mathematical Logic, Set Theory, and
Foundations of Mathematics) 5, 1995, pp. 345–355.
Douglas Hofstadter (a review of Gödel, Escher,
Bach), V. Harizanov GW Forum, Spring,
1988, pp. 46–48.
Translations
M. V. Zakhar’yashchev, Modal companions of
superintuitionistic logics: syntax, semantics, and
preservation theorems, Mathematics of the USSR
Sbornik 68 (1991), pp. 277–289. Translated
from Russian by V. Harizanov.
A. I. Tsitkin, Towards the question of an error in
a well-known paper by M. Wajsberg, Selecta
Mathematica Sovietica 7, 1988, pp. 23–36.
Translated from Russian by V. Harizanov.
V. P. Orevkov, Theorems with very short proofs can
be strengthened, Selecta Mathematica Sovietica
7, 1988, pp. 37–38. Translated from Russian by V.
Harizanov.
I. D. Zaslavsky, The realization of three-valued
logical functions through recursive and Turing
operators, Selecta Mathematica Sovietica 7,
1988, pp. 15–22. Translated from Russian by V.
Harizanov.
K. Zh. Kudaibergenov, On questions of Keisler and
Morley, Soviet Mathematics Doklady (Russian
Academy of Sciences) 34, 1987, pp. 482–483.
Translated from Russian by V. Harizanov.
N. V. Petri, Unsolvability of the recognition
problem for annihilating iterative networks, Selecta
Mathematica Sovietica 6, 1987, pp. 355–363.
Translated from Russian by V. Harizanov.
N. K. Zamov, The resolution method without
skolemization, Soviet Mathematics Doklady (Russian
Academy of Sciences) 35, 1987, pp. 399–401.
Translated from Russian by V. Harizanov.
D. P. Skvortsov, Some propositional logics
connected with Yu. T. Medvedev’s concept of types of
information, Selecta Mathematica Sovietica
5, 1986, pp. 371–377. Translated from Russian by V.
Harizanov.
L. L. Esakia, On the variety of Grzegorczyk
algebras, Selecta Mathematica Sovietica 3,
1983/84, pp. 343–366. Translated from Russian by V.
Harizanov.