List of my publications with access options
Syllabi and course notes
Infos & News about my Marie Skłodowska Curie funded project ACOSE
About Me
I am a mathematician working at the Institute of Discrete Mathematics at Technische Universität Wien working. Currently I am PI of the international project “Structural Complexity Measures for Foundational Theories” funded by the Austrian science fund. This project is joint with Mateusz Łełyk from the University of Warsaw.
I am interested in computability theory and its interactions with other areas of logic such as descriptive set theory and model theory. Please see publications for more on my research. Under teaching you can find syllabi of courses I have taught and course notes. In August 2024 I completed my Marie Skłodowska Curie fellowship ACOSE, see its project page.
Events & Seminars I am involved in
- Computable Structure Theory and Interactions, Vienna, July 15-17
- Our local research seminar, Wednesdays 10am during the semester.
News & Recent Blogposts
The degrees of categoricity above 0’’
Consider the ordering \(\omega\) of the natural numbers \(0\leq 1\leq 2\leq 3...
Turing degrees that compute HYP but can not compute Kleene’s O.
Let \(HYP\) be the set of hyperarithmetic degrees, i.e. \(HYP=\{ \mathbf d:\e...
Other notes
Non peer-reviewed notes on topics I am interested in.