8 papers
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…
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…
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…
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…
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…
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…