Valentina S. Harizanov

54 papers B 1C 5Journal 42Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Generically computable linear orderings. Ann. Pure Appl. Log. Wesley Calvert, Douglas Cenzer, David Gonzalez, Valentina S. Harizanov
2024	J	`jnl`	Cohesive powers of structures. Arch. Math. Log. Valentina S. Harizanov, Keshav Srinivasan
2024	J	`jnl`	In Memory of Martin Davis. CoRR Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti, Alexandra Shlapentokh
2023	—	`conf`	Generically Computable Abelian Groups. UCNC Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2023	J	`jnl`	On Cohesive powers of linear Orders. J. Symb. Log. Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2022	J	`jnl`	Densely computable structures. J. Log. Comput. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2022	J	`jnl`	Generically and coarsely computable isomorphisms. Comput. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov
2022	J	`jnl`	Interpreting a field in its Heisenberg Group. J. Symb. Log. Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar
2022	J	`jnl`	On the isomorphism problem for some classes of computable algebraic structures. Arch. Math. Log. Valentina S. Harizanov, Steffen Lempp, Charles F. D. McCoy, Andrei S. Morozov, Reed Solomon
2019	C	`conf`	Cohesive Powers of Linear Orders. CiE Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
2019	J	`jnl`	Computability-theoretic categoricity and Scott families. Ann. Pure Appl. Log. Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky
2018	J	`jnl`	Strong jump inversion. J. Log. Comput. Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
2017	—	`conf`	The Lattice of Computably Enumerable Vector Spaces. Computability and Complexity Rumen D. Dimitrov, Valentina S. Harizanov
2016	C	`conf`	Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. CiE Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
2014	—	`ch.`	Computable model theory. Turing's Legacy Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov
2014	C	`conf`	Isomorphisms of Non-Standard Fields and Ash's Conjecture. CiE Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad
2014	J	`jnl`	Turing Degrees of Isomorphism Types of Geometric Objects. Comput. Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh
2013	J	`jnl`	Two-to-one structures. J. Log. Comput. Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2012	J	`jnl`	Isomorphism relations on computable structures. J. Symb. Log. Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
2012	J	`jnl`	Spectra of high J. Log. Comput. Andrey N. Frolov, Iskander Sh. Kalimullin, Valentina S. Harizanov, Oleg V. Kudinov, Russell G. Miller
2011	J	`jnl`	Computability of Fraïssé limits. J. Symb. Log. Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán
2011	C	`conf`	Effective Categoricity of Injection Structures. CiE Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2011	J	`jnl`	Σ Ann. Pure Appl. Log. Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2010	J	`jnl`	Spaces of orders and their Turing degree spectra. Ann. Pure Appl. Log. Malgorzata A. Dabkowska, Mieczyslaw K. Dabkowski, Valentina S. Harizanov, Amir A. Togha
2009	J	`jnl`	Chains and antichains in partial orderings. Arch. Math. Log. Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight
2009	J	`jnl`	Degree spectra of the successor relation of computable linear orderings. Arch. Math. Log. Jennifer Chubb, Andrey N. Frolov, Valentina S. Harizanov
2009	J	`jnl`	Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2009	J	`jnl`	Intrinsic bounds on complexity and definability at limit levels. J. Symb. Log. John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn
2009	J	`jnl`	Preface. Arch. Math. Log. Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood
2009	C	`conf`	S CiE Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
2008	J	`jnl`	Partial automorphism semigroups. Ann. Pure Appl. Log. Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman
2007	J	`jnl`	Bounding homogeneous models. J. Symb. Log. Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
2007	—	`book`	Induction, Algorithmic Learning Theory, and Philosophy Michèle Friend, Norma B. Goethe, Valentina S. Harizanov
2007	—	`ch.`	Inductive Inference Systems for Learning Classes of Algorithmically Generated Sets and Structures. Induction, Algorithmic Learning Theory, and Philosophy Valentina S. Harizanov
2007	—	`ch.`	Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory. Induction, Algorithmic Learning Theory, and Philosophy Valentina S. Harizanov, Norma B. Goethe, Michèle Friend
2007	J	`jnl`	On the learnability of vector spaces. J. Comput. Syst. Sci. Valentina S. Harizanov, Frank Stephan
2007	J	`jnl`	Spectra of structures and relations. J. Symb. Log. Valentina S. Harizanov, Russell G. Miller
2007	J	`jnl`	Π J. Symb. Log. John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Timothy H. McNicholl, Sarah Pingrey
2006	J	`jnl`	Effective categoricity of equivalence structures. Ann. Pure Appl. Log. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
2005	J	`jnl`	Dependence relations in computably rigid computable vector spaces. Ann. Pure Appl. Log. Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
2005	J	`jnl`	Enumerations in computable structure theory. Ann. Pure Appl. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
2004	J	`jnl`	Pi J. Symb. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
2003	J	`jnl`	Simple and immune relations on countable structures. Arch. Math. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
2003	J	`jnl`	Turing degrees of hypersimple relations on computable structures. Ann. Pure Appl. Log. Valentina S. Harizanov
2002	J	`jnl`	Computability-theoretic complexity of countable structures. Bull. Symb. Log. Valentina S. Harizanov
2002	B	`conf`	On the Learnability of Vector Spaces. ALT Valentina S. Harizanov, Frank Stephan
2002	J	`jnl`	Sequences of n-Diagrams. J. Symb. Log. Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov
1998	J	`jnl`	Turing Degrees of Certain Isomorphic Images of Computable Relations. Ann. Pure Appl. Log. Valentina S. Harizanov
1996	J	`jnl`	Effectively and Noneffectively Nowhere Simple Sets. Math. Log. Q. Valentina S. Harizanov
1993	J	`jnl`	The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. Ann. Pure Appl. Log. Valentina S. Harizanov
1992	J	`jnl`	Frequency Computations and the Cardinality Theorem. J. Symb. Log. Valentina S. Harizanov, Martin Kummer, James C. Owings
1991	J	`jnl`	Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra. Ann. Pure Appl. Log. Valentina S. Harizanov
1991	J	`jnl`	Uncountable Degree Spectra. Ann. Pure Appl. Log. Valentina S. Harizanov
1983	J	`jnl`	Regular Relations and the Quantifier "There Exist uncountably Many". Math. Log. Q. Zarko Mijajlovic, Valentina S. Harizanov