@inbook{d2d42b74617c4588931a1987ace857cc,
title = "Sets, truth, and recursion",
abstract = "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.",
keywords = "Axiomatic truth theories, Applicative theories, Intensional set theory",
author = "Reinhard Kahle",
note = "sem pdf. ESF research project Dialogical Foundations of Semantics within the ESF Eurocores program LogICCC, LogICCC/0001/2007 and by the projects Hilbert{\textquoteright}s Legacy in the Philosophy of Mathematics, PTDC/FIL-FCI/109991/2009, and The notion of mathematical proof, PTDCMHC-FIL/5363/2012, as well as PEst-OE/MAT/UI097/2013, all funded by the Portuguese Science Foundation, FCT.",
year = "2015",
doi = "10.1007/978-94-017-9673-6_6",
language = "English",
isbn = "978-94-017-9673-6",
volume = "36",
series = "Logic, Epistemology and the Unity of Science",
publisher = "Springer",
pages = "143--152",
editor = "Dora Achourioti and Kentaro Fujimoto and Henri Galinon and Jose Martinez",
booktitle = "Unifying the Philosophy of Truth",
address = "Netherlands",
}