Valentina Harizanov
Valentina Harizanov is a Professor of Mathematics at the George Washington University. Her main research contributions are in computable structure theory (roughly at the intersection of computability theory and model theory), where she introduced the notion of degree spectra of relations on computable structures and obtained first significant results concerning uncountable, countable and finite Turing degree spectra.[1] Her recent interests include algorithmic learning theory and spaces of orders on groups.
She obtained BS in mathematics at the University of Belgrade, and PhD in mathematics at the University of Wisconsin–Madison under the direction of Terry Millar.[2]
Publications
Harizanov has over 40 publication in peer-reviewed journals, including
- V.S. Harizanov, "Some effects of Ash-Nerode and other decidability conditions on degree spectra " Annals of Pure and Applied Logic 55 (1), pp. 51–65 (1991), cited 21 times according to Web of Science
In addition, she has published the following book-length survey paper and co-edited co-authored book:
- V.S. Harizanov, “Pure computable model theory,” in the volume: Handbook of Recursive Mathematics, vol. 1, Yu.L. Ershov, S.S. Goncharov, A. Nerode, and J.B. Remmel, editors (North-Holland, Amsterdam, 1998), pp. 3–114.
- M. Friend, N.B. Goethe, and V.S. Harizanov, Induction, Algorithmic Learning Theory, and Philosophy, Series: Logic, Epistemology, and the Unity of Science, vol. 9, Springer, Dordrecht, 304 pp., 2007.
Degree spectra of relations are introduced and first studied in Harizanov's dissertation: Degree Spectrum of a Recursive Relation on a Recursive Structure.[1]
References
- 1 2 Harizanov, V.S. (1987). "Degree Spectrum of a Recursive Relation on a Recursive Structure". Ph.D. Dissertation, University of Wisconsin–Madison.
- ↑ Valentina Harizanov at the Mathematics Genealogy Project