Tupailo. Monotone Inductive Definitions and Consistency of New Foundations. Edited by Dimitracopoulos et al., Cambridge University Press, doi:10.1017/cbo9780511546464.016.