Valentina S. Harizanov

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 13

Top Topics

Subgraph Isomorphism

Algebraic Structures

Intrinsic Dimensionality

Top Venues

J. Log. Comput.

Arch. Math. Log.

Publications

Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
In Memory of Martin Davis. CoRR (2024)
Valentina S. Harizanov, Keshav Srinivasan
Cohesive powers of structures. Arch. Math. Log. 63 (5-6) (2024)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
On Cohesive powers of linear Orders. J. Symb. Log. 88 (3) (2023)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
Generically Computable Abelian Groups. UCNC (2023)
Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar
Interpreting a field in its Heisenberg Group. J. Symb. Log. 87 (3) (2022)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
Generically and coarsely computable isomorphisms. Comput. 11 (3-4) (2022)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
Densely computable structures. J. Log. Comput. 32 (3) (2022)
Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
On the isomorphism problem for some classes of computable algebraic structures. Arch. Math. Log. 61 (5-6) (2022)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
Cohesive Powers of Linear Orders. CiE (2019)
Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky
Computability-theoretic categoricity and Scott families. Ann. Pure Appl. Log. 170 (6) (2019)
Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
Strong jump inversion. J. Log. Comput. 28 (7) (2018)
Rumen D. Dimitrov, Valentina S. Harizanov
The Lattice of Computably Enumerable Vector Spaces. Computability and Complexity (2017)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. CiE (2016)
Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh
Turing Degrees of Isomorphism Types of Geometric Objects. Comput. 3 (2) (2014)
Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad
Isomorphisms of Non-Standard Fields and Ash's Conjecture. CiE (2014)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Two-to-one structures. J. Log. Comput. 23 (6) (2013)
Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
Isomorphism relations on computable structures. J. Symb. Log. 77 (1) (2012)
Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller
degrees. J. Log. Comput. 22 (4) (2012)
Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán
Computability of Fraïssé limits. J. Symb. Log. 76 (1) (2011)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
equivalence structures. Ann. Pure Appl. Log. 162 (7) (2011)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Effective Categoricity of Injection Structures. CiE (2011)
Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, Valentina S. Harizanov, Amir A. Togha
Spaces of orders and their Turing degree spectra. Ann. Pure Appl. Log. 161 (9) (2010)
Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Equivalence Structures. CiE (2009)
Jennifer Chubb, Andrey N. Frolov, Valentina S. Harizanov
Degree spectra of the successor relation of computable linear orderings. Arch. Math. Log. 48 (1) (2009)
Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood
Preface. Arch. Math. Log. 48 (1) (2009)
Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. 159 (1-2) (2009)
John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn
Intrinsic bounds on complexity and definability at limit levels. J. Symb. Log. 74 (3) (2009)
Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight
Chains and antichains in partial orderings. Arch. Math. Log. 48 (1) (2009)
Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman
Partial automorphism semigroups. Ann. Pure Appl. Log. 156 (2-3) (2008)
Valentina S. Harizanov, Frank Stephan
On the learnability of vector spaces. J. Comput. Syst. Sci. 73 (1) (2007)
Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
Bounding homogeneous models. J. Symb. Log. 72 (1) (2007)
John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey
classes and strong degree spectra of relations. J. Symb. Log. 72 (3) (2007)
Valentina S. Harizanov, Russell G. Miller
Spectra of structures and relations. J. Symb. Log. 72 (1) (2007)
Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
Effective categoricity of equivalence structures. Ann. Pure Appl. Log. 141 (1-2) (2006)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
Enumerations in computable structure theory. Ann. Pure Appl. Log. 136 (3) (2005)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
Dependence relations in computably rigid computable vector spaces. Ann. Pure Appl. Log. 132 (1) (2005)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
relations and paths through. J. Symb. Log. 69 (2) (2004)
Valentina S. Harizanov
Turing degrees of hypersimple relations on computable structures. Ann. Pure Appl. Log. 121 (2-3) (2003)
Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
Simple and immune relations on countable structures. Arch. Math. Log. 42 (3) (2003)
Valentina S. Harizanov, Frank Stephan
On the Learnability of Vector Spaces. ALT (2002)
Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov
Sequences of n-Diagrams. J. Symb. Log. 67 (3) (2002)
Valentina S. Harizanov
Computability-theoretic complexity of countable structures. Bull. Symb. Log. 8 (3) (2002)
Valentina S. Harizanov
Turing Degrees of Certain Isomorphic Images of Computable Relations. Ann. Pure Appl. Log. 93 (1-3) (1998)
Valentina S. Harizanov
Effectively and Noneffectively Nowhere Simple Sets. Math. Log. Q. 42 (1996)
Valentina S. Harizanov
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. Ann. Pure Appl. Log. 60 (1) (1993)
Valentina S. Harizanov, Martin Kummer, James C. Owings
Frequency Computations and the Cardinality Theorem. J. Symb. Log. 57 (2) (1992)
Valentina S. Harizanov
Uncountable Degree Spectra. Ann. Pure Appl. Log. 54 (3) (1991)
Valentina S. Harizanov
Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra. Ann. Pure Appl. Log. 55 (1) (1991)
Zarko Mijajlovic, Valentina S. Harizanov
Regular Relations and the Quantifier "There Exist uncountably Many". Math. Log. Q. 29 (3) (1983)