The degrees of categoricity above 0’’
Consider the ordering \(\omega\) of the natural numbers \(0\leq 1\leq 2\leq 3\leq\dots\). We can build an isomorphic order \(\mathcal B\) (for bad) as follow...
2023
2022
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:\exists (\alpha<\omega_1^{\mathrm{CK}}) \mathbf d< \mathbf 0^{(\alpha)}\}.\)...
2021
Back to top ↑2020
New preprint on arXiv!
My newest preprint Degree spectra of analytic complete equivalence relations just appeared on arXiv.
New homepage online
I just created this new homepage with all my professional information. I hope that you find it interesting and useful. I appreciate feedback, just write me a...