1. Boolos, G.: The Logic of Provability, Cambridge University Press, Cambridge, 1993.
2. Brady, R. T.: The non-triviality of dialectical set theory, in G. Priest, R. Routley and J. Norman (eds), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, 1989, pp. 437–470.
3. Field, H.: On conservativeness and incompleteness, J. Philos. 81 (1985), 239–60.
4. Field, H.: Deflating the conservativeness argument, J. Philos. 96 (1999), 533–40.
5. Field, H.: Saving the truth schema from paradox, J. Philos. Logic 31 (2002), 1–27.