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 Transactions of the American Mathematical Society since 2020. |
Member of the editorial board of the journal Archive for Mathematical Logic 2018-2023. |
Member of the editorial board of the journal Mathematical Logic Quarterly 2015-2019. |
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). |