I am a computability theorist interested in all areas of computability theory, effective mathematics and logic in general. Enumeration reducibility and the structure of the enumeration degrees hold a central place in my research. I particularly enjoy questions and results about first order definability.
|Member of the editorial board of the journal Mathematical Logic Quarterly. |
|The Incomputable: Journeys Beyond the Turing Barrier,
Springer International Publishing AG, ISBN 978-3-319-43667-8 (2017).|
|Lecture Notes in Computer Science 9136, “Evolving Computability”, 11th Conference on Computability in Europe Proceedings, Springer (2015). |
|Collected works of Ivan Soskov, Sofia University Press (2014). Please email me if you would like to get a copy and take a look at the cover
|Journal of Logic Computation 23(6)
, Special Issue: The Incomputable, an Isaac Newton Institute Workshop, S. Barry Cooper and Mariya I. Soskova, guest eds (2013). |