☰

Valentina Harizanov - Publications

Affiliations: 
The George Washington University, Washington, DC, United States 
Area:
Mathematics
Tree Info Similar researchers PubMed Report error

34 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Goncharov SS, Miller R, Harizanov V. Turing Degrees of Complete Formulas of Almost Prime Models Algebra and Logic. 58: 282-287. DOI: 10.1007/S10469-019-09546-Y  0.314
2018 Ha T, Harizanov V. Orders on magmas and computability theory Journal of Knot Theory and Its Ramifications. 27: 1841001. DOI: 10.1142/S0218216518410018  0.465
2016 Dimitrov RD, Harizanov V. Orbits of Maximal Vector Spaces Algebra and Logic. 54: 440-477. DOI: 10.1007/S10469-016-9366-9  0.774
2015 Fokina EB, Goncharov SS, Harizanov V, Kudinov OV, Turetsky D. Index Sets for n-Decidable Structures Categorical Relative to m-Decidable Presentations Algebra and Logic. 54: 336-341. DOI: 10.1007/S10469-015-9353-6  0.424
2014 Cenzer D, Harizanov V, Remmel JB. Computability-Theoretic Properties of Injection Structures Algebra and Logic. 53: 39-69. DOI: 10.1007/S10469-014-9270-0  0.607
2014 Dimitrov R, Harizanov V, Miller R, Mourad KJ. Isomorphisms of non-standard fields and Ash's conjecture Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8493: 143-152. DOI: 10.1007/978-3-319-08019-2_15  0.349
2013 Cenzer D, Harizanov V, Remmel JB. Two-to-one structures Journal of Logic and Computation. 23: 1195-1223. DOI: 10.1093/Logcom/Ext040  0.49
2012 Frolov A, Kalimullin I, Harizanov V, Kudinov O, Miller R. Spectra of high n and non-low n degrees Journal of Logic and Computation. 22: 755-777. DOI: 10.1093/Logcom/Exq041  0.502
2012 Carson J, Harizanov V, Knight J, Lange K, McCoy C, Morozov A, Quinn S, Safranski C, Wallbaum J. Describing free groups Transactions of the American Mathematical Society. 364: 5715-5728. DOI: 10.1090/S0002-9947-2012-05456-0  0.409
2012 Carson J, Fokina E, Harizanov VS, Knight JF, Quinn S, Safranski C, Wallbaum J. The computable embedding problem Algebra and Logic. 50: 478-493. DOI: 10.1007/s10469-012-9160-2  0.375
2011 Csima BF, Harizanov VS, Miller R, Montalbán A. Computability of fraïssé limits Journal of Symbolic Logic. 76: 66-93. DOI: 10.2178/Jsl/1294170990  0.502
2011 Cenzer D, Harizanov V, Remmel JB. σ10 and Π10 equivalence structures Annals of Pure and Applied Logic. 162: 490-503. DOI: 10.1016/J.Apal.2011.01.002  0.479
2011 Cenzer D, Harizanov V, Remmel JB. Effective categoricity of injection structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6735: 51-60. DOI: 10.1007/978-3-642-21875-0_6  0.465
2010 Dabkowska MA, Dabkowski MK, Harizanov VS, Togha AA. Spaces of orders and their Turing degree spectra Annals of Pure and Applied Logic. 161: 1134-1143. DOI: 10.1016/J.Apal.2010.01.004  0.776
2010 Harizanov V, Miller R, Morozov AS. Simple structures with complex symmetry Algebra and Logic. 49: 68-90. DOI: 10.1007/S10469-010-9079-4  0.472
2009 Chisholm J, Fokina EB, Goncharov SS, Harizanov VS, Knight JF, Quinn S. Intrinsic bounds on complexity and definability at limit levels Journal of Symbolic Logic. 74: 1047-1060. DOI: 10.2178/jsl/1245158098  0.403
2009 Calvert W, Cenzer D, Harizanov VS, Morozov A. Effective categoricity of Abelian p-groups Annals of Pure and Applied Logic. 159: 187-197. DOI: 10.1016/j.apal.2008.11.003  0.385
2009 Harizanov VS, Jockusch CG, Knight JF. Chains and antichains in partial orderings Archive For Mathematical Logic. 48: 39-53. DOI: 10.1007/S00153-008-0114-2  0.405
2009 Chubb J, Frolov A, Harizanov V. Degree spectra of the successor relation of computable linear orderings Archive For Mathematical Logic. 48: 7-13. DOI: 10.1007/S00153-008-0110-6  0.779
2009 Cenzer D, Harizanov V, Remmel JB. ∑10 and π10 equivalence structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5635: 99-108. DOI: 10.1007/978-3-642-03073-4_11  0.474
2008 Chubb J, Harizanov VS, Morozov AS, Pingrey S, Ufferman E. Partial automorphism semigroups Annals of Pure and Applied Logic. 156: 245-258. DOI: 10.1016/J.Apal.2008.06.016  0.627
2007 Chisholm J, Chubb J, Harizanov VS, Hirschfeldt DR, Jockusch CG, Mcnicholl T, Pingrey S. ∏10 classes and strong degree spectra of relations Journal of Symbolic Logic. 72: 1003-1018. DOI: 10.2178/Jsl/1191333852  0.625
2007 Harizanov VS, Miller RG. Spectra of structures and relations Journal of Symbolic Logic. 72: 324-348. DOI: 10.2178/jsl/1174668398  0.434
2007 Dabkowska MA, Dabkowski MK, Harizanov VS, Przytycki JH, Veve MA. Compactness of the space of left orders Journal of Knot Theory and Its Ramifications. 16: 257-266. DOI: 10.1142/S0218216507005300  0.742
2007 Calvert W, Harizanov V, Shlapentokh A. Turing degrees of isomorphism types of algebraic objects Journal of the London Mathematical Society. 75: 273-286. DOI: 10.1112/Jlms/Jdl012  0.496
2006 Calvert W, Cenzer D, Harizanov V, Morozov A. Effective categoricity of equivalence structures Annals of Pure and Applied Logic. 141: 61-78. DOI: 10.1016/J.Apal.2005.10.002  0.561
2006 Calvert W, Harizanov VS, Knight JF, Miller S. Index sets of computable structures Algebra and Logic. 45: 306-325. DOI: 10.1007/s10469-006-0029-0  0.407
2005 Goncharov S, Harizanov V, Knight J, McCoy C, Miller R, Solomon R. Enumerations in computable structure theory Annals of Pure and Applied Logic. 136: 219-246. DOI: 10.1016/j.apal.2005.02.001  0.562
2005 Dimitrov RD, Harizanov VS, Morozov AS. Dependence relations in computably rigid computable vector spaces Annals of Pure and Applied Logic. 132: 97-108. DOI: 10.1016/j.apal.2004.06.007  0.496
2005 Goncharov SS, Harizanov VS, Knight JF, Morozov AS, Romina AV. On automorphic tuples of elements in computable models Siberian Mathematical Journal. 46: 405-412. DOI: 10.1007/S11202-005-0043-9  0.384
2004 Goncharov SS, Harizanov VS, Knight JF, Shore RA. prod;11 Relations and paths through θ Journal of Symbolic Logic. 69: 585-611. DOI: 10.2178/Jsl/1082418544  0.554
2003 Harizanov VS. Turing degrees of hypersimple relations on computable structures Annals of Pure and Applied Logic. 121: 209-226. DOI: 10.1016/S0168-0072(02)00113-6  0.421
2002 Harizanov VS. Computability-theoretic complexity of countable structures Bulletin of Symbolic Logic. 8: 457-477.  0.444
2001 Harizanov V. Review: C. J. Ash, J. Knight, Computable Structures and the Hyperarithmetical Hierarchy The Bulletin of Symbolic Logic. 7: 383-385. DOI: 10.2307/2687759  0.471
Show low-probability matches.