Restall, G. (2017). Fixed-Point Models for Theories of Properties and Classes. The Australasian Journal Of Logic, 14(1). doi:10.26686/ajl.v14i1.4032