activity
20182023
most citedLebesgue's Density Theorem and definable selectors for ideals

5 citations · 7 across the 6 of their papers we have counts for

collaborators

8 papers

math.LO2023

Towards a generic absoluteness theorem for Chang models

Sandra Müller, Grigor Sargsyan

Let be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic…

math.LO2023

Determinacy and Large Cardinals

Sandra Müller

The study of inner models was initiated by Gödel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardina…

math.LO2021

An undecidable extension of Morley's theorem on the number of countable models

Christopher J. Eagle, Clovis Hamel, Sandra Müller +1

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More general…

math.LO2021

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…

math.LO2020★ 2 cited

Closure properties of measurable ultrapowers

Philipp Lücke, Sandra Müller

We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatoria…

math.LO2019

Perfect Subtree Property for Weakly Compact Cardinals

Yair Hayut, Sandra Müller

We investigate the consistency strength of the statement: is weakly compact and there is no tree on with exactly many branches. We show that this statement fails st…

math.LO2019

Constructing Wadge classes

Raphaël Carroy, Andrea Medini, Sandra Müller

We show that, assuming the Axiom of Determinacy, every non-selfdual Wadge class can be constructed by starting with those of level (that is, the ones that are closed under Bo…

math.LO2018★ 5 cited

Lebesgue's Density Theorem and definable selectors for ideals

Sandra Müller, Philipp Schlicht, David Schrittesser +1

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate…