5 citations · 7 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…