Thibaut Kouptchinsky

Research

My reasearch revolves around the study of axioms derived from the game theory context. I focus on a reverse mathematical treatment of those. The three main notions I treat during my ongoing doctoral thesis are:

1. Gales-Stewart determinacy in Cantor and Baire spaces;
2. Turing determinacy and;
3. Blackwell determinacy.

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

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

  Submitted for publication.

Prizes and Awards

• NCRL Prize.

  Awarded by the CNRL/NCNL logic centre Belgium (November 2024). The NCRL awards a prize every two years to crown a master's thesis within the field of logic.

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