Tame mice M modeling ZFC have V = HOD_x for a real x, E above omega_1^M definable over M, M = HOD^M[X] for X = M|omega_1^M, and no proper grounds via strategically sigma-closed forcings; partial extension to non-tame mice under extra hypothesis.
Iterability for (transfinite) stacks
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2020 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Ordinal definability in $L[\mathbb{E}]$
Tame mice M modeling ZFC have V = HOD_x for a real x, E above omega_1^M definable over M, M = HOD^M[X] for X = M|omega_1^M, and no proper grounds via strategically sigma-closed forcings; partial extension to non-tame mice under extra hypothesis.