The Modal Logic of Inner Models. - Tanmay Inamdar 001; Benedikt Löwe (J. Symb. Log., 2016)

A Club Guessing Toolbox I. - Tanmay Inamdar 001; Assaf Rinot (Bull. Symb. Log., 2024)