WITHDRAWN: The internal structure of \mathrm{HOD}^{L[x]} up to its Woodin
From MaRDI portal
Publication:7100640
This page was built for publication: WITHDRAWN: The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7100640)