Juan Aguilera

Technische Universität Vienna

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.

Comments are closed.