John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345. - Derek Levinson (Bull. Symb. Log., 2023)

Unreachability of Γ+,. - Derek Levinson (Ann. Pure Appl. Log., 2025)

UNREACHABILITY OF INDUCTIVE-LIKE POINTCLASSES IN $L( mathbb {R})$. - Derek Levinson; Itay Neeman; Grigor Sargsyan (J. Symb. Log., 2026)