8 papers
The -PSP at - sets
Fernando Barrera, Vincenzo Dimonte, Sandra Müller
Given a strong limit cardinal of countable cofinality, we show that if every (boldface) $λ\hyp\boldsymbolÎ ^1_1$ subset of the generalised Cantor space has the -…
On a local variant of the 12th Delfino problem -- the -side
Stefan Hoffelner, Sandra Müller
Assuming that , the canonical inner model with Woodin cardinals, exists, we force a model in which every set is Lebesgue measurable and has the Bai…
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…
The consistency strength of determinacy when all sets are universally Baire
Sandra Müller
It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Ax…
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…
Outward compactness
Peter Holy, Philipp Lücke, Sandra Müller
We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments…