1 citations · 1 across the 11 of their papers we have counts for
Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
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…
math.LO2025
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 -$\mat…