Let me please introduce myself.

I will soon describe my research interests and ongoing projects. I will include any relevant images, graphs or mathematical notations. For example $\Delta^1_{n+2}$-$\mathsf{CA}_0 \not\rightarrow (\Pi^0_3)_n$-$\mathsf{Det}$ for all $n \geq 1$.

- The Logic Algebra and Truth Degrees (LATD) conference, Tbilissi, September 2023
- Phds in Logic, XIV Edition, Granada, October 2023
- Workshop on Proof Theory, Modal Logic and Reflection Principles, Bern, October-November 2023
- Perspectives on Set Theory, Warsaw, November 2023
- Techniques from Logic in Mathematics, Vienna, November 2023
- Trends in Proof Theory, Vienna, February 2024
- 17th International Conference on Computability, Complexity and Randomness, Nagoya, March 2024
- Logic Colloquium, Gothenburg, June 2024
- IMS Graduate Summer School in Logic, Singapore, July 2024

I presented the following poster about my work. Open PDF

I gave a blackboard talk about "The limit of determinacy in third-order arithmetic".

I gave a talk about "The limit of determinacy in third-order arithmetic".

I gave a 2h blackboard session about "The limit of determinacy in third-order arithmetic".

I gave a talk about "The limit of determinacy in third-order arithmetic".

I gave a talk about "The limit of determinacy in third-order arithmetic".

I gave a talk about "Determinacy in high-order arithmetic".

Contact Information: