ATTENTION/WARNING - NE PAS DÉPOSER ICI/DO NOT SUBMIT HERE

Ceci est la version de TEST de DIAL.mem. Veuillez ne pas soumettre votre mémoire sur ce site mais bien à l'URL suivante: 'https://thesis.dial.uclouvain.be'.
This is the TEST version of DIAL.mem. Please use the following URL to submit your master thesis: 'https://thesis.dial.uclouvain.be'.
 

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

Kouptchinsky, Thibaut
(2023)

Files

Kouptchinsky_2023.pdf
  • Open access
  • Adobe PDF
  • 1.82 MB
Download

Details

Supervisors
Tim Van der Linden ; Juan P. Aguilera
Faculty
Faculté des sciences
Degree label
Master [120] en sciences mathématiques, à finalité approfondie
Abstract
This thesis explores the foundations of mathematics, studying determinacy axioms derived from game theory. It exposes their relationship with second-order and third-order arithmetic, examining a significant paper in the field by Montalbán and Shore. The thesis begins by introducing the background concepts of determinacy and second-order arithmetic. It also explains the translation between set theory and second-order arithmetic. Subsequently, the thesis delves into advanced concepts in set theory and subsystems of second-order arithmetic that are crucial for understanding and proving the results proved by Montalbán and Shore. In particular, it presents a generalisation of their second theorem, formulated within a Kripke-Platek set-theoretic version of third-order arithmetic, offering an original contribution to the field. Overall, this thesis contributes to understanding determinacy axioms and their limitations. It provides a synthesis of the foundational knowledge required to comprehend the research conducted by Montalbán and Shore in this specific area.