×

zbMATH — the first resource for mathematics

Harizanov, Valentina S.

Compute Distance To:
Author ID: harizanov.valentina-s Recent zbMATH articles by "Harizanov, Valentina S."
Published as: Harizanov, V.; Harizanov, V. S.; Harizanov, Valentina; Harizanov, Valentina S.
External Links: MGP · Wikidata
Documents Indexed: 73 Publications since 1981, including 5 Books

Publications by Year

Citations contained in zbMATH

50 Publications have been cited 348 times in 224 Documents Cited by Year
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
35
2005
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
34
2006
Pure computable model theory. Zbl 0952.03037
Harizanov, Valentina S.
33
1998
Some effects of Ash-Nerode and other decidability conditions on degree spectra. Zbl 0756.03022
Harizanov, Valentina S.
21
1991
Index sets of computable structures. Zbl 1164.03325
Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S.
18
2006
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
14
2012
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
13
2012
Describing free groups. Zbl 1302.03045
Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J.
12
2012
Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019
Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara
12
2009
The possible Turing degree of the nonzero member in a two element degree spectrum. Zbl 0773.03027
Harizanov, Valentina S.
12
1993
Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013
Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D.
10
2003
Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei
9
2009
\(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051
Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A.
9
2004
Turing degrees of certain isomorphic images of computable relations. Zbl 0946.03051
Harizanov, Valentina S.
9
1998
Uncountable degree spectra. Zbl 0744.03035
Harizanov, Valentina S.
9
1991
Frequency computations and the cardinality theorem. Zbl 0763.03024
Harizanov, Valentina; Kummer, Martin; Owings, Jim
8
1992
Computability of Fraïssé limits. Zbl 1215.03053
Csima, Barbara F.; Harizanov, Valentina S.; Miller, Russell; Montalbán, Antonio
6
2011
Compactness of the space of left orders. Zbl 1129.57024
Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Przytycki, J. H.; Veve, M. A.
6
2007
Spectra of structures and relations. Zbl 1116.03029
Harizanov, Valentina S.; Miller, Russell G.
6
2007
Turing degrees of isomorphism types of algebraic objects. Zbl 1124.03014
Calvert, Wesley; Harizanov, Valentina; Shlapentokh, Alexandra
5
2007
Computability-theoretic complexity of countable structures. Zbl 1039.03027
Harizanov, Valentina S.
5
2002
Computability-theoretic properties of injection structures. Zbl 1323.03045
Cenzer, D.; Harizanov, V.; Remmel, J. B.
4
2014
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2011
\({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2009
Degree spectra of the successor relation of computable linear orderings. Zbl 1161.03022
Chubb, Jennifer; Frolov, Andrey; Harizanov, Valentina
4
2009
Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029
Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S.
4
2005
The computable embedding problem. Zbl 1334.03037
Carson, J.; Fokina, E.; Harizanov, V. S.; Knight, J. F.; Quinn, S.; Safranski, C.; Wallbaum, J.
3
2012
Simple structures with complex symmetry. Zbl 1195.03041
Harizanov, Valentina; Miller, R.; Morozov, A. S.
3
2010
Chains and antichains in partial orderings. Zbl 1160.03013
Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F.
3
2009
\(\Pi_1^0\) classes and strong degree spectra of relations. Zbl 1123.03025
Chisholm, John; Chubb, Jennifer; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy; Pingrey, Sarah
3
2007
On the learnability of vector spaces. Zbl 1178.68297
Harizanov, Valentina S.; Stephan, Frank
3
2007
Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 06617652
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei
2
2016
Isomorphisms of non-standard fields and Ash’s conjecture. Zbl 1433.03083
Dimitrov, Rumen; Harizanov, Valentina; Miller, Russell; Mourad, K. J.
2
2014
Effective categoricity of injection structures. Zbl 1345.03062
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
2
2011
Spaces of orders and their Turing degree spectra. Zbl 1225.03038
Dabkowska, Malgorzata A.; Dabkowski, Mieczyslaw K.; Harizanov, Valentina S.; Togha, Amir A.
2
2010
Bounding homogeneous models. Zbl 1116.03027
Csima, Barbara E.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I.
2
2007
On automorphic tuples of elements in computable models. Zbl 1224.03013
Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V.
2
2005
Simple and immune relations on countable structures. Zbl 1024.03034
Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D.
2
2003
Regular relations and the quantifier ”there exist uncountably many”. Zbl 0519.03029
Mijajlovic, Zarko; Harizanov, Valentina
2
1983
Turing degrees of complete formulas of almost prime models. Zbl 07175626
Goncharov, S. S.; Miller, R.; Harizanov, V.
1
2019
Logic and algebraic structures in quantum computing. Based on a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, Washington, DC, USA, March 17–20, 2010. Zbl 1348.81033
Chubb, Jennifer (ed.); Eskandarian, Ali (ed.); Harizanov, Valentina (ed.)
1
2016
Two-to-one structures. Zbl 1327.03026
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
1
2013
Introduction to the philosophy and mathematics of algorithmic learning theory. Zbl 1141.03302
Harizanov, Valentina S.; Goethe, Norma B.; Friend, Michèle
1
2007
Induction, algorithmic learning theory, and philosophy. Zbl 1130.03004
Friend, Michèle (ed.); Goethe, Norma B. (ed.); Harizanov, Valentina S. (ed.)
1
2007
Turing degrees of nonabelian groups. Zbl 1124.03015
Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Sikora, A. S.
1
2007
On the learnability of vector spaces. Zbl 1024.68051
Harizanov, Valentina S.; Stephan, Frank
1
2002
Sequences of \(n\)-diagrams. Zbl 1035.03015
Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S.
1
2002
Relations on computable structures. Zbl 1009.03500
Harizanov, Valentina S.
1
2000
Effectively nowhere simple relations on computable structures. Zbl 0944.03038
Harizanov, Valentina S.
1
1999
On the functional equation f phi f = f. Zbl 0488.39004
Harizanov, Valentina
1
1981
Turing degrees of complete formulas of almost prime models. Zbl 07175626
Goncharov, S. S.; Miller, R.; Harizanov, V.
1
2019
Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 06617652
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei
2
2016
Logic and algebraic structures in quantum computing. Based on a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, Washington, DC, USA, March 17–20, 2010. Zbl 1348.81033
Chubb, Jennifer (ed.); Eskandarian, Ali (ed.); Harizanov, Valentina (ed.)
1
2016
Computability-theoretic properties of injection structures. Zbl 1323.03045
Cenzer, D.; Harizanov, V.; Remmel, J. B.
4
2014
Isomorphisms of non-standard fields and Ash’s conjecture. Zbl 1433.03083
Dimitrov, Rumen; Harizanov, Valentina; Miller, Russell; Mourad, K. J.
2
2014
Two-to-one structures. Zbl 1327.03026
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
1
2013
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
14
2012
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
13
2012
Describing free groups. Zbl 1302.03045
Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J.
12
2012
The computable embedding problem. Zbl 1334.03037
Carson, J.; Fokina, E.; Harizanov, V. S.; Knight, J. F.; Quinn, S.; Safranski, C.; Wallbaum, J.
3
2012
Computability of Fraïssé limits. Zbl 1215.03053
Csima, Barbara F.; Harizanov, Valentina S.; Miller, Russell; Montalbán, Antonio
6
2011
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2011
Effective categoricity of injection structures. Zbl 1345.03062
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
2
2011
Simple structures with complex symmetry. Zbl 1195.03041
Harizanov, Valentina; Miller, R.; Morozov, A. S.
3
2010
Spaces of orders and their Turing degree spectra. Zbl 1225.03038
Dabkowska, Malgorzata A.; Dabkowski, Mieczyslaw K.; Harizanov, Valentina S.; Togha, Amir A.
2
2010
Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019
Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara
12
2009
Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei
9
2009
\({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2009
Degree spectra of the successor relation of computable linear orderings. Zbl 1161.03022
Chubb, Jennifer; Frolov, Andrey; Harizanov, Valentina
4
2009
Chains and antichains in partial orderings. Zbl 1160.03013
Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F.
3
2009
Compactness of the space of left orders. Zbl 1129.57024
Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Przytycki, J. H.; Veve, M. A.
6
2007
Spectra of structures and relations. Zbl 1116.03029
Harizanov, Valentina S.; Miller, Russell G.
6
2007
Turing degrees of isomorphism types of algebraic objects. Zbl 1124.03014
Calvert, Wesley; Harizanov, Valentina; Shlapentokh, Alexandra
5
2007
\(\Pi_1^0\) classes and strong degree spectra of relations. Zbl 1123.03025
Chisholm, John; Chubb, Jennifer; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy; Pingrey, Sarah
3
2007
On the learnability of vector spaces. Zbl 1178.68297
Harizanov, Valentina S.; Stephan, Frank
3
2007
Bounding homogeneous models. Zbl 1116.03027
Csima, Barbara E.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I.
2
2007
Introduction to the philosophy and mathematics of algorithmic learning theory. Zbl 1141.03302
Harizanov, Valentina S.; Goethe, Norma B.; Friend, Michèle
1
2007
Induction, algorithmic learning theory, and philosophy. Zbl 1130.03004
Friend, Michèle (ed.); Goethe, Norma B. (ed.); Harizanov, Valentina S. (ed.)
1
2007
Turing degrees of nonabelian groups. Zbl 1124.03015
Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Sikora, A. S.
1
2007
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
34
2006
Index sets of computable structures. Zbl 1164.03325
Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S.
18
2006
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
35
2005
Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029
Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S.
4
2005
On automorphic tuples of elements in computable models. Zbl 1224.03013
Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V.
2
2005
\(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051
Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A.
9
2004
Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013
Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D.
10
2003
Simple and immune relations on countable structures. Zbl 1024.03034
Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D.
2
2003
Computability-theoretic complexity of countable structures. Zbl 1039.03027
Harizanov, Valentina S.
5
2002
On the learnability of vector spaces. Zbl 1024.68051
Harizanov, Valentina S.; Stephan, Frank
1
2002
Sequences of \(n\)-diagrams. Zbl 1035.03015
Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S.
1
2002
Relations on computable structures. Zbl 1009.03500
Harizanov, Valentina S.
1
2000
Effectively nowhere simple relations on computable structures. Zbl 0944.03038
Harizanov, Valentina S.
1
1999
Pure computable model theory. Zbl 0952.03037
Harizanov, Valentina S.
33
1998
Turing degrees of certain isomorphic images of computable relations. Zbl 0946.03051
Harizanov, Valentina S.
9
1998
The possible Turing degree of the nonzero member in a two element degree spectrum. Zbl 0773.03027
Harizanov, Valentina S.
12
1993
Frequency computations and the cardinality theorem. Zbl 0763.03024
Harizanov, Valentina; Kummer, Martin; Owings, Jim
8
1992
Some effects of Ash-Nerode and other decidability conditions on degree spectra. Zbl 0756.03022
Harizanov, Valentina S.
21
1991
Uncountable degree spectra. Zbl 0744.03035
Harizanov, Valentina S.
9
1991
Regular relations and the quantifier ”there exist uncountably many”. Zbl 0519.03029
Mijajlovic, Zarko; Harizanov, Valentina
2
1983
On the functional equation f phi f = f. Zbl 0488.39004
Harizanov, Valentina
1
1981
all top 5

Cited by 188 Authors

29 Harizanov, Valentina S.
22 Knight, Julia F.
18 Bazhenov, Nikolaĭ Alekseevich
13 Downey, Rodney Graham
13 Hirschfeldt, Denis Roman
13 Khoussainov, Bakhadyr M.
13 Melnikov, Alexander G.
12 Cenzer, Douglas
12 Kalimullin, Iskander Shagitovich
11 Miller, Russell G.
11 Montalbán, Antonio
10 Fokina, Ekaterina B.
10 Morozov, Andreĭ Sergeevich
9 Goncharov, Sergeĭ Savost’yanovich
9 Remmel, Jeffrey B.
8 Andrews, Uri
8 Csima, Barbara F.
8 Harrison-Trainor, Matthew
8 Shore, Richard A.
7 Calvert, Wesley
6 Lempp, Steffen
6 Ng, KengMeng
6 Stephan, Frank
5 Frolov, Andrey N.
5 Greenberg, Noam
5 Jain, Sanjay
5 Kach, Asher M.
5 Lange, Karen
5 McCoy, Charles F. D.
4 Ash, Christopher John
4 Cholak, Peter A.
4 Chubb, Jennifer
4 Dimitrov, Rumen D.
4 Kogabaev, N. T.
4 Kudinov, Oleg Victorovich
4 Puzarenko, Vadim G.
4 San Mauro, Luca
4 Solomon, Reed
4 Sorbi, Andrea
4 Wallbaum, John
3 Carson, Jacob
3 Faĭzrahmanov, Marat Khaidarovich
3 Jockusch, Carl G. jun.
3 Korovina, Margarita Vladimirovna
3 Laskowski, Michael Chris
3 Quinn, Sara
3 Shlapentokh, Alexandra
3 Slaman, Theodore A.
3 Teutsch, Jason
3 Turetsky, Daniel D.
3 Tusupov, Dzhamalbek Aliaskarovich
3 Wu, Guohua
2 Bélanger, David R.
2 Bès, Alexis
2 Cegielski, Patrick
2 Chisholm, John Stephen Roy
2 Dabkowska, Malgorzata A.
2 Dabkowski, Mieczysław K.
2 Didehvar, Farzad
2 Dushenin, D. I.
2 Franklin, Johanna N. Y.
2 Friedman, Sy-David
2 Harrington, Leo A.
2 Ho, Meng-Che
2 Marker, David E.
2 McNicholl, Timothy H.
2 Millar, Jessica
2 Minnes, Mia
2 Mustafa, Manat
2 Nerode, Anil
2 Pingrey, Sarah
2 Safranski, C.
2 Steiner, Rebecca M.
2 Tukhbatullina, R. R.
2 Wang, Wei
2 Yamaleev, Mars Mansurovich
1 Alaev, Pavel Evgenievich
1 Aleksandrova, S. A.
1 Ambos-Spies, Klaus
1 Anderson, Bernard A.
1 Anderson, Sarah E.
1 Artemov, Sergei
1 Badaev, Serikzhan A.
1 Baldwin, John T.
1 Barmpalias, George
1 Beigel, Richard
1 Bilanovic, Iva
1 Boyadzhiyska, Simona
1 Buss, Sam
1 Cai, Mingzhong
1 Ding, Decheng
1 Dolich, Alfred
1 Džamonja, Mirna
1 Faizrakhmanov, Marat Kh.
1 Fouché, Willem Louw
1 Freivalds, Rūsiņš Mārtiņš
1 Frolov, Andrei N.
1 Ganguli, Suman
1 Gao, Ziyuan
1 Gasarch, William Ian
...and 88 more Authors
all top 5

Cited in 43 Serials

33 Annals of Pure and Applied Logic
25 Algebra and Logic
25 The Journal of Symbolic Logic
21 Archive for Mathematical Logic
12 Proceedings of the American Mathematical Society
8 Transactions of the American Mathematical Society
8 The Bulletin of Symbolic Logic
6 Siberian Mathematical Journal
6 Journal of Mathematical Logic
6 Lobachevskii Journal of Mathematics
5 Notre Dame Journal of Formal Logic
4 Theoretical Computer Science
3 Advances in Mathematics
3 Information and Computation
3 Journal of Knot Theory and its Ramifications
3 Russian Mathematics
3 Mathematical Logic Quarterly (MLQ)
2 Memoirs of the American Mathematical Society
2 International Journal of Algebra and Computation
2 MSCS. Mathematical Structures in Computer Science
2 Theory of Computing Systems
2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
1 International Journal of Modern Physics A
1 Annales de l’Institut Fourier
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Pacific Journal of Mathematics
1 Studia Logica
1 Topology and its Applications
1 Algorithmica
1 Journal of the American Mathematical Society
1 Journal of Mathematical Sciences (New York)
1 Doklady Mathematics
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Applied Logic
1 Mediterranean Journal of Mathematics
1 Parallel Processing Letters
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Proceedings of the Steklov Institute of Mathematics
1 Groups, Geometry, and Dynamics
1 European Journal for Philosophy of Science
1 Computability

Citations by Year

Wikidata Timeline