×

Harizanov, Valentina S.

Compute Distance To:
Author ID: harizanov.valentina-s Recent zbMATH articles by "Harizanov, Valentina S."
Published as: Harizanov, Valentina; Harizanov, Valentina S.; Harizanov, V.; Harizanov, V. S.
External Links: MGP · Wikidata · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 381 times in 245 Documents Cited by Year
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
40
2005
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
37
2006
Pure computable model theory. Zbl 0952.03037
Harizanov, Valentina S.
32
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.
21
2006
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
16
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.
16
2012
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
15
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
14
2009
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.
13
2003
The possible Turing degree of the nonzero member in a two element degree spectrum. Zbl 0773.03027
Harizanov, Valentina S.
12
1993
Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei
10
2009
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
\(\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
Frequency computations and the cardinality theorem. Zbl 0763.03024
Harizanov, Valentina; Kummer, Martin; Owings, Jim
7
1992
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.
7
2007
Computability-theoretic properties of injection structures. Zbl 1323.03045
Cenzer, D.; Harizanov, V.; Remmel, J. B.
6
2014
Turing degrees of isomorphism types of algebraic objects. Zbl 1124.03014
Calvert, Wesley; Harizanov, Valentina; Shlapentokh, Alexandra
6
2007
Computability of Fraïssé limits. Zbl 1215.03053
Csima, Barbara F.; Harizanov, Valentina S.; Miller, Russell; Montalbán, Antonio
6
2011
Spectra of structures and relations. Zbl 1116.03029
Harizanov, Valentina S.; Miller, Russell G.
6
2007
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
5
2011
Degree spectra of the successor relation of computable linear orderings. Zbl 1161.03022
Chubb, Jennifer; Frolov, Andrey; Harizanov, Valentina
5
2009
Computability-theoretic complexity of countable structures. Zbl 1039.03027
Harizanov, Valentina S.
5
2002
Simple structures with complex symmetry. Zbl 1195.03041
Harizanov, Valentina; Miller, R.; Morozov, A. S.
4
2010
Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029
Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S.
4
2005
\(\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
4
2007
On the learnability of vector spaces. Zbl 1178.68297
Harizanov, Valentina S.; Stephan, Frank
3
2007
\({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
3
2009
Chains and antichains in partial orderings. Zbl 1160.03013
Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F.
3
2009
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
Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 1477.03164
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei
2
2016
Regular relations and the quantifier ”there exist uncountably many”. Zbl 0519.03029
Mijajlovic, Zarko; Harizanov, Valentina
2
1983
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
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
Effective categoricity of injection structures. Zbl 1345.03062
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
2
2011
Computability-theoretic categoricity and Scott families. Zbl 1441.03031
Fokina, Ekaterina; Harizanov, Valentina; Turetsky, Daniel
2
2019
Bounding homogeneous models. Zbl 1116.03027
Csima, Barbara F.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I.
2
2007
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
Isomorphisms of non-standard fields and Ash’s conjecture. Zbl 1433.03083
Dimitrov, Rumen; Harizanov, Valentina; Miller, Russell; Mourad, K. J.
2
2014
Induction, algorithmic learning theory, and philosophy. Zbl 1130.03004
1
2007
Sequences of \(n\)-diagrams. Zbl 1035.03015
Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S.
1
2002
Effectively nowhere simple relations on computable structures. Zbl 0944.03038
Harizanov, Valentina S.
1
1999
Orders on magmas and computability theory. Zbl 06916006
Ha, Trang; Harizanov, Valentina
1
2018
Turing degrees of nonabelian groups. Zbl 1124.03015
Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Sikora, A. S.
1
2007
On the functional equation f phi f = f. Zbl 0488.39004
Harizanov, Valentina
1
1981
Two-to-one structures. Zbl 1327.03026
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
1
2013
Turing degrees of complete formulas of almost prime models. Zbl 07175626
Goncharov, S. S.; Miller, R.; Harizanov, V.
1
2019
On decidable categoricity and almost prime models. Zbl 1446.03069
Goncharov, S. S.; Harizanov, V.; Miller, R.
1
2020
Relations on computable structures. Zbl 1009.03500
Harizanov, Valentina S.
1
2000
Introduction to the philosophy and mathematics of algorithmic learning theory. Zbl 1141.03302
Harizanov, Valentina S.; Goethe, Norma B.; Friend, Michèle
1
2007
On the learnability of vector spaces. Zbl 1024.68051
Harizanov, Valentina S.; Stephan, Frank
1
2002
On decidable categoricity and almost prime models. Zbl 1446.03069
Goncharov, S. S.; Harizanov, V.; Miller, R.
1
2020
Computability-theoretic categoricity and Scott families. Zbl 1441.03031
Fokina, Ekaterina; Harizanov, Valentina; Turetsky, Daniel
2
2019
Turing degrees of complete formulas of almost prime models. Zbl 07175626
Goncharov, S. S.; Miller, R.; Harizanov, V.
1
2019
Orders on magmas and computability theory. Zbl 06916006
Ha, Trang; Harizanov, Valentina
1
2018
Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 1477.03164
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei
2
2016
Computability-theoretic properties of injection structures. Zbl 1323.03045
Cenzer, D.; Harizanov, V.; Remmel, J. B.
6
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
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
16
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.
16
2012
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
15
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.
5
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.
4
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
14
2009
Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei
10
2009
Degree spectra of the successor relation of computable linear orderings. Zbl 1161.03022
Chubb, Jennifer; Frolov, Andrey; Harizanov, Valentina
5
2009
\({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
3
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.
7
2007
Turing degrees of isomorphism types of algebraic objects. Zbl 1124.03014
Calvert, Wesley; Harizanov, Valentina; Shlapentokh, Alexandra
6
2007
Spectra of structures and relations. Zbl 1116.03029
Harizanov, Valentina S.; Miller, Russell G.
6
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
4
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 F.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I.
2
2007
Induction, algorithmic learning theory, and philosophy. Zbl 1130.03004
1
2007
Turing degrees of nonabelian groups. Zbl 1124.03015
Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Sikora, A. S.
1
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
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
37
2006
Index sets of computable structures. Zbl 1164.03325
Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S.
21
2006
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
40
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.
13
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
Sequences of \(n\)-diagrams. Zbl 1035.03015
Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S.
1
2002
On the learnability of vector spaces. Zbl 1024.68051
Harizanov, Valentina S.; Stephan, Frank
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.
32
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
7
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 194 Authors

28 Harizanov, Valentina S.
23 Knight, Julia F.
21 Bazhenov, Nikolaĭ Alekseevich
15 Kalimullin, Iskander Shagitovich
15 Melnikov, Alexander G.
14 Downey, Rodney Graham
13 Cenzer, Douglas
13 Hirschfeldt, Denis Roman
12 Miller, Russell G.
12 Montalbán, Antonio
11 Fokina, Ekaterina B.
11 Harrison-Trainor, Matthew
11 Khoussainov, Bakhadyr M.
10 Andrews, Uri
10 Goncharov, Sergeĭ Savost’yanovich
9 Morozov, Andreĭ Sergeevich
9 Remmel, Jeffrey B.
8 Csima, Barbara F.
8 Shore, Richard Arnold
7 Calvert, Wesley
7 Greenberg, Noam
6 Lempp, Steffen
6 Ng, KengMeng
6 Stephan, Frank
5 Faĭzrahmanov, Marat Khaidarovich
5 Kach, Asher M.
5 Lange, Karen
5 McCoy, Charles F. D.
5 San Mauro, Luca
5 Solomon, Reed
5 Sorbi, Andrea
4 Ash, Christopher John
4 Cholak, Peter A.
4 Chubb, Jennifer
4 Dimitrov, Rumen D.
4 Jain, Sanjay
4 Kogabaev, Nurlan Talgatovich
4 Kudinov, Oleg Victorovich
4 Laskowski, Michael Chris
4 Puzarenko, Vadim G.
4 Wallbaum, John
3 Alvir, Rachael
3 Carson, Jacob
3 Jockusch, Carl G. jun.
3 Korovina, Margarita Vladimirovna
3 McNicholl, Timothy H.
3 Quinn, Sara
3 Rossegger, Dino
3 Shlapentokh, Alexandra
3 Slaman, Theodore A.
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 Kasymov, Nadimulla Khabibullaevich
2 Marker, David E.
2 Mermelstein, Omer
2 Millar, Jessica
2 Minnes, Mia
2 Mustafa, Manat
2 Safranski, C.
2 Steiner, Rebecca M.
2 Teutsch, Jason
2 Tukhbatullina, R. R.
2 Wang, Wei
2 Yamaleev, Mars Mansurovich
2 Zubkov, Maxim V.
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 Blinov, K. V.
1 Boyadzhiyska, Simona
1 Brown, Tyler A.
1 Buss, Sam
1 Cai, Mingzhong
1 Csc, Charles Mccoy
1 Dadazhanov, Ruzmat Normatovich
1 Ding, Decheng
1 Dolich, Alfred
1 Džamonja, Mirna
1 Faizrakhmanov, Marat Kh.
...and 94 more Authors
all top 5

Cited in 46 Serials

32 Annals of Pure and Applied Logic
30 The Journal of Symbolic Logic
27 Algebra and Logic
22 Archive for Mathematical Logic
13 Proceedings of the American Mathematical Society
9 The Bulletin of Symbolic Logic
8 Siberian Mathematical Journal
8 Transactions of the American Mathematical Society
7 Lobachevskii Journal of Mathematics
6 Journal of Mathematical Logic
5 Notre Dame Journal of Formal Logic
5 Journal of Mathematical Sciences (New York)
3 Advances in Mathematics
3 Theoretical Computer Science
3 Journal of Knot Theory and its Ramifications
3 Russian Mathematics
3 Mathematical Logic Quarterly (MLQ)
2 Memoirs of the American Mathematical Society
2 Information and Computation
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
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Computability
1 Annales de l’Institut Fourier
1 Fundamenta Mathematicae
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Pacific Journal of Mathematics
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Studia Logica
1 Topology and its Applications
1 Algorithmica
1 Journal of the American Mathematical Society
1 New Zealand Journal of Mathematics
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 Proceedings of the Steklov Institute of Mathematics
1 Groups, Geometry, and Dynamics
1 The Review of Symbolic Logic
1 European Journal for Philosophy of Science

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.