F_sigma Games of Length omega^2
Logic and Set Theory Seminar
1st May 2019, 4:00 pm – 5:00 pm
Howard House, 2nd Floor Seminar Room
We show, in ZFC, that the determinacy of F_sigma games of length omega^2 is equivalent to the existence of an admissible model of AD that contains R and reflects Pi_1 statements about the next admissible set.