I will introduce the method of Reverse Mathematics through the question: « What are the right axioms to play infinite games ». We will then generalise a theorem of Montalbán and Shore. They showed what was the limit of determinacy when one work in the realm of natural numbers and set of natural numbers.
The Limits of Determinacy in Third-Order Arithmetic
15.01.2024 15:00 - 16:00
Organiser:
Vienna Doctoral School of Mathematics
Location:
SR06, OMP