Подписаться
Valentina Harizanov
Valentina Harizanov
Подтвержден адрес электронной почты в домене gwu.edu - Главная страница
Название
Процитировано
Процитировано
Год
Formal approaches to modality
S Kaufmann, C Condoravdi, V Harizanov
The expression of modality 1, 71, 2006
1672006
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
1452005
Pure computable model theory
VS Harizanov
Studies in Logic and the Foundations of Mathematics 138, 3-114, 1998
1151998
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
942006
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
772012
Computable model theory.
EB Fokina, VS Harizanov, AG Melnikov
Turing's Legacy, 124-194, 2014
672014
Index sets of computable structures
W Calvert, VS Harizanov, JF Knight, S Miller
Algebra and Logic 45 (5), 306-325, 2006
572006
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
571991
Frequency computations and the cardinality theorem
V Harizanov, M Kummer, J Owings
The Journal of Symbolic Logic 57 (2), 682-687, 1992
461992
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
431993
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
402010
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
Uncountable degree spectra
VS Harizanov
Annals of Pure and Applied Logic 54 (3), 255-263, 1991
361991
DEGREE SPECTRUM OF A RECURSIVE RELATION ON A RECURSIVE STRUCTURE.
VS Harizanov
361988
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
342012
Σ10 and Π10 equivalence structures
D Cenzer, V Harizanov, JB Remmel
Annals of Pure and Applied Logic 162 (7), 490-503, 2011
32*2011
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
312009
Spectra of structures and relations
VS Harizanov, RG Miller
The Journal of Symbolic Logic 72 (1), 324-348, 2007
312007
Π11 relations and paths through
SS Goncharov, VS Harizanov, JF Knight, RA Shore
The Journal of Symbolic Logic 69 (2), 585-611, 2004
312004
Degree spectra of the successor relation of computable linear orderings
J Chubb, A Frolov, V Harizanov
Archive for Mathematical Logic 48 (1), 7-13, 2009
292009
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20