4 papers · 1 filter
Long games just beyond fixed countable length
Takehiko Gappo, Sandra Müller
We introduce a new type of game on natural numbers of variable countable length, which can be regarded as a diagonalization of all games of fixed countable length on natural number…
A model with fragments of projective determinacy and failures of
Sandra Müller, Bartosz Wcisło
We describe a construction of a model of second order arithmetic in which (boldface) -determinacy holds, but (lightface) - fails, thus showing t…
Long Games and -Projective Sets
Juan P. Aguilera, Sandra Müller, Philipp Schlicht
We prove a number of results on the determinacy of -projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under compleme…
Projective Games on the Reals
Juan P. Aguilera, Sandra Müller
Let denote the minimal active iterable extender model which has Woodin cardinals and contains all reals, if it exists, in which case we denote by $M_n(…