Valentina Harizanov
Title
Cited by
Cited by
Year
Formal approaches to modality
S Kaufmann, C Condoravdi, V Harizanov
The expression of modality, 71-106, 2008
1412008
Enumerations in computable structure theory
S Goncharov, V Harizanov, J Knight, C McCoy, R Miller, R Solomon
Annals of Pure and Applied logic 136 (3), 219-246, 2005
1372005
Pure computable model theory
VS Harizanov
Studies in Logic and the Foundations of Mathematics 138, 3-114, 1998
1071998
Effective categoricity of equivalence structures
W Calvert, D Cenzer, V Harizanov, A Morozov
Annals of Pure and Applied Logic 141 (1-2), 61-78, 2006
792006
Isomorphism relations on computable structures
EB Fokina, SD Friedman, V Harizanov, JF Knight, C McCoy, A Montalbán
The Journal of Symbolic Logic 77 (1), 122-132, 2012
682012
Index sets of computable structures
W Calvert, VS Harizanov, JF Knight, S Miller
Algebra and Logic 45 (5), 306-325, 2006
552006
Some effects of Ash–Nerode and other decidability conditions on degree spectra
VS Harizanov
Annals of Pure and Applied Logic 55 (1), 51-65, 1991
551991
Frequency computations and the cardinality theorem
V Harizanov, M Kummer, J Owings
The Journal of Symbolic Logic 57 (2), 682-687, 1992
451992
Computable model theory.
EB Fokina, VS Harizanov, AG Melnikov
Turing's Legacy, 124-194, 2014
432014
The possible Turing degree of the nonzero member in a two element degree spectrum
VS Harizanov
Annals of Pure and Applied Logic 60 (1), 1-30, 1993
411993
Intrinsic bounds on complexity and definability at limit levels
J Chisholm, EB Fokina, SS Goncharov, VS Harizanov, JF Knight, S Quinn
The Journal of Symbolic Logic 74 (3), 1047-1060, 2009
402009
Spectra of highn and non-lown degrees
A Frolov, I Kalimullin, V Harizanov, O Kudinov, R Miller
Journal of Logic and Computation 22 (4), 755-777, 2010
362010
Uncountable degree spectra
VS Harizanov
Annals of Pure and Applied Logic 54 (3), 255-263, 1991
331991
DEGREE SPECTRUM OF A RECURSIVE RELATION ON A RECURSIVE STRUCTURE.
VS Harizanov
321988
Describing free groups
J Carson, V Harizanov, J Knight, K Lange, C McCoy, A Morozov, S Quinn, ...
Transactions of the American Mathematical Society 364 (11), 5715-5728, 2012
302012
Π11 relations and paths through
SS Goncharov, VS Harizanov, JF Knight, RA Shore
The Journal of Symbolic Logic 69 (2), 585-611, 2004
302004
Spectra of structures and relations
VS Harizanov, RG Miller
The Journal of Symbolic Logic 72 (1), 324-348, 2007
292007
Effective categoricity of Abelian p-groups
W Calvert, D Cenzer, VS Harizanov, A Morozov
Annals of Pure and Applied Logic 159 (1-2), 187-197, 2009
272009
Σ10 and Π10 equivalence structures
D Cenzer, V Harizanov, JB Remmel
Annals of Pure and Applied Logic 162 (7), 490-503, 2011
262011
Computability of Fraďssé limits
BF Csima, VS Harizanov, R Miller, A Montalbán
The Journal of Symbolic Logic 76 (1), 66-93, 2011
242011
The system can't perform the operation now. Try again later.
Articles 1–20