Padilla Gálvez, J. Mac Gee, V.:Truth, vagueness and paradox. Sommaruga-Rosolemos, G.:Fixed point constructions in various theories of mathematical logic