Sets, truth, and recursion
We discuss some philosophical aspects of an intensional set theory based on an axiomatic truth theory. This set theory gains its justification from natural truth axioms combined with standard recursion-theoretic operations.
Full citation [Harvard style]:
Kahle, R. (2015)., Sets, truth, and recursion, in T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the philosophy of truth, Dordrecht, Springer, pp. 143-152.
This document is unfortunately not available for download at the moment.