Cohesive powers of linear orders, with R.
Dimitrov, A. Morozov, P. Shafer, A. Soskova, and S.
Vatev, accepted for publication in: Computing
with Foresight and Industry, Computability in
Europe.
Computability and definability, with T. Ha, L.
Marshall and H. Walker, accepted for publication in:
Computability, Forcing and Descriptive Set Theory,
World Scientific.
Strong
jump inversion, co-authored with W. Calvert,
A. Frolov, J. Knight, C. McCoy, A. Soskova, and S.
Vatev, Journal of Logic and Computation 7
(2018), pp.1499-1522.
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.
Isomorphisms of non-standard fields and Ash's
conjecture, in: Langauge, Life, Limits,
Computability in Europe, A. Beckman, E.
Csuhaj-Varju, and K. Meetr, eds., Springer (2014),
pp. 143-152.
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.
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 fur Mathematische Logik
und Grundlagen der Mathematik 29, 1983, pp.
151-161.
On some finite groupoids whose equational theories
are not finitely based, in: Algebraic
Conference, Mathematical Institute, Novi Sad,
1982, pp. 35-38.
On the functional equation fgf=f, Publications
de l Institut Mathematique, Nouvelle Serie
29, 1981, pp. 61-64.
Journal
of Knot Theory and Its Ramifications,
vol. 27, no. 3, dedicated to the 60th birthday of
Jozef Przytycki (vol. III), co-edited with M.
Dabkowski, L. Kauffman, J. Przytycki, R. Sazdanovic,
and A. Sikora, World Scientific, Singapore, March
2018.
Journal
of Knot Theory and Its Ramifications, vol. 26,
no. 3, dedicated to the 60th birthday of Jozef
Przytycki (vol. II), co-edited with M. Dabkowski, L.
Kauffman, J. Przytycki, R. Sazdanovic, and A.
Sikora, World Scientific, Singapore, March 2017.
Journal
of Knot Theory and Its Ramifications, vol. 25,
no. 3, dedicated to the 60th birthday of Jozef
Przytycki (vol. I), co-edited with M. Dabkowski, L.
Kauffman, J. Przytycki, R. Sazdanovic, and A.
Sikora, World Scientific, Singapore, March
2016.
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 Goedel,
Escher, Bach), V. Harizanov GW Forum,
Spring, 1988, pp. 46-48.
Translations
M. V. Zakharyashchev, 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 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.