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 Marie Skłodowska Curie fellow at the Institute of Discrete Mathematics at Technische Universität Wien working in mathematical logic. 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. For information about 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.