Schlutzenberg, F. S. (2025, June 25). Mouse sets in L(R) [Conference Presentation]. Berkeley Inner Model Theory Conference 2025, Berkeley, United States of America (the). http://hdl.handle.net/20.500.12708/224897
Given a nicely definable set X of reals, it is natural to ask whether X is just the set of reals of some mouse. In many instances, this is known to hold. We will discuss some newly established instances in which X is the set of reals which are ordinal definable over some level of L(R) at a certain degree of complexity. This uses joint work with Steel on correctness of mice in L(R), combined with related work of the author on ladder mice.
en
Project title:
Determiniertheit und Woodin Limes von Woodin Kardinalzahlen: Y1498 (FWF - Österr. Wissenschaftsfonds)
-
Project (external):
Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)