Thibaut Kouptchinsky

A failed attempt to calculate $\pi \dots$

Research

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

Publications

• On the limits of determinacy in third-order arithmetic and extensions of Kripke-Platek set theory : an introductive study of topics in reverse mathematics, constructibility and determinacy.

  Master Thesis, Graduation at UCLouvain, Belgium, June 2024.

• The Limits of Determinacy in Higher-Order Arithmetic (with Juan P. Aguilera).

  Submitted for publication.

Conferences

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".

I was an invited speaker and gave a talk about "The limit of determinacy in higher-order arithmetic".

Contact

Contact Information:

Email: thibaut.kouptchinsky (at) tuwien.ac.at