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$.
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: