1 citations · 1 across the 11 of their papers we have counts for
11 papers
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 Bair…
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…
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…
Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
Sandra Müller
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt Gödel's famous…
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…
Chang models over derived models with supercompact measures
Takehiko Gappo, Sandra Müller, Grigor Sargsyan
Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal tha…
-definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
Philipp Lücke, Sandra Müller
Given an uncountable cardinal , we consider the question of whether subsets of the power set of that are usually constructed with the help of the Axiom of Choice are definab…
Uniformization and Internal Absoluteness
Sandra Müller, Philipp Schlicht
Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existenc…
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(…