Valentina S. Harizanov

According to our database, Valentina S. Harizanov authored at least 49 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

In Memory of Martin Davis.

Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh

CoRR, 2024

2023

On Cohesive powers of linear Orders.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev

J. Symb. Log., 2023

Generically Computable Abelian Groups.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov

Proceedings of the Unconventional Computation and Natural Computation, 2023

2022

Densely computable structures.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov

J. Log. Comput., 2022

Interpreting a field in its Heisenberg Group.

Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar

J. Symb. Log., 2022

Generically and coarsely computable isomorphisms.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov

Comput., 2022

On the isomorphism problem for some classes of computable algebraic structures.

Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon

Arch. Math. Log., 2022

2019

Computability-theoretic categoricity and Scott families.

Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky

Ann. Pure Appl. Log., 2019

2018

Strong jump inversion.

Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev

J. Log. Comput., 2018

2017

The Lattice of Computably Enumerable Vector Spaces.

Rumen D. Dimitrov, Valentina S. Harizanov

Proceedings of the Computability and Complexity, 2017

2016

Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2014

Turing Degrees of Isomorphism Types of Geometric Objects.

Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh

Comput., 2014

Isomorphisms of Non-Standard Fields and Ash's Conjecture.

Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

Computable model theory.

Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov

Proceedings of the Turing's Legacy: Developments from Turing's Ideas in Logic, 2014

2013

Two-to-one structures.

Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel

J. Log. Comput., 2013

2012

Spectra of high<i>_n</i> and non-low<i>_n</i> degrees.

Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller

J. Log. Comput., 2012

Isomorphism relations on computable structures.

Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán

J. Symb. Log., 2012

2011

Computability of Fraïssé limits.

Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán

J. Symb. Log., 2011

Σ⁰₁ and Π⁰₁ equivalence structures.

Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel

Ann. Pure Appl. Log., 2011

Effective Categoricity of Injection Structures.

Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel

Proceedings of the Models of Computation in Context, 2011

2010

Spaces of orders and their Turing degree spectra.

Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, Valentina S. Harizanov, Amir A. Togha

Ann. Pure Appl. Log., 2010

2009

Intrinsic bounds on complexity and definability at limit levels.

John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn

J. Symb. Log., 2009

Effective categoricity of Abelian p-groups.

Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2009

Chains and antichains in partial orderings.

Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight

Arch. Math. Log., 2009

Degree spectra of the successor relation of computable linear orderings.

Jennifer Chubb, Andrey N. Frolov, Valentina S. Harizanov

Arch. Math. Log., 2009

Preface.

Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood

Arch. Math. Log., 2009

S⁰₁ and P⁰₁ Equivalence Structures.

Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

Partial automorphism semigroups.

Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman

Ann. Pure Appl. Log., 2008

2007

Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory.

Valentina S. Harizanov, Norma B. Goethe, Michèle Friend

Proceedings of the Induction, Algorithmic Learning Theory, and Philosophy, 2007

Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures.

Valentina S. Harizanov

Proceedings of the Induction, Algorithmic Learning Theory, and Philosophy, 2007

Spectra of structures and relations.

Valentina S. Harizanov, Russell G. Miller

J. Symb. Log., 2007

Bounding homogeneous models.

Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare

J. Symb. Log., 2007

Π₁⁰ classes and strong degree spectra of relations.

John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey

J. Symb. Log., 2007

On the learnability of vector spaces.

Valentina S. Harizanov, Frank Stephan

J. Comput. Syst. Sci., 2007

2006

Effective categoricity of equivalence structures.

Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2006

2005

Enumerations in computable structure theory.

Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon

Ann. Pure Appl. Log., 2005

Dependence relations in computably rigid computable vector spaces.

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov

Ann. Pure Appl. Log., 2005

2004

Pi₁¹ relations and paths through.

Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore

J. Symb. Log., 2004

2003

Turing degrees of hypersimple relations on computable structures.

Valentina S. Harizanov

Ann. Pure Appl. Log., 2003

Simple and immune relations on countable structures.

Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy

Arch. Math. Log., 2003

2002

Sequences of n-Diagrams.

Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov

J. Symb. Log., 2002

Computability-theoretic complexity of countable structures.

Valentina S. Harizanov

Bull. Symb. Log., 2002

1998

Turing Degrees of Certain Isomorphic Images of Computable Relations.

Valentina S. Harizanov

Ann. Pure Appl. Log., 1998

1996

Effectively and Noneffectively Nowhere Simple Sets.

Valentina S. Harizanov

Math. Log. Q., 1996

1993

The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum.

Valentina S. Harizanov

Ann. Pure Appl. Log., 1993

1992

Frequency Computations and the Cardinality Theorem.

Valentina S. Harizanov, Martin Kummer, James C. Owings

J. Symb. Log., 1992

1991

Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra.

Valentina S. Harizanov

Ann. Pure Appl. Log., 1991

Uncountable Degree Spectra.

Valentina S. Harizanov

Ann. Pure Appl. Log., 1991

1983

Regular Relations and the Quantifier "There Exist uncountably Many".

Zarko Mijajlovic, Valentina S. Harizanov

Math. Log. Q., 1983