Restall, Greg. " Fixed-Point Models for Theories of Properties and Classes." The Australasian Journal of Logic [Online], 14.1 (2017): n. pag. Web. 18 Sep. 2019