Derived Models of mice below the least Fixpoint of the Solovay sequence

Dominik Adolf, Grigor Sargsyan. Derived Models of mice below the least Fixpoint of the Solovay sequence. Journal of Symbolic Logic, 84(1):27-53, 2019. [doi]

Abstract

Abstract is missing.