{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:52:15Z","timestamp":1742971935035,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":41,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401796729"},{"type":"electronic","value":"9789401796736"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-94-017-9673-6_6","type":"book-chapter","created":{"date-parts":[[2015,6,16]],"date-time":"2015-06-16T12:06:34Z","timestamp":1434456394000},"page":"143-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sets, Truth, and Recursion"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P. (1980) Frege structures and the notion of proposition, truth and set. In J. Barwise, H. Keisler, & K. Kunen (eds.), The Kleene symposium (pp.\u00a031\u201359). Amsterdam: North-Holland.","DOI":"10.1016\/S0049-237X(08)71252-7"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Beeson, M. (1985). Foundations of constructive mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete; 3.Folge (Bd.\u00a06). Berlin: Springer.","DOI":"10.1007\/978-3-642-68952-9"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.2307\/2274965","volume":"55","author":"A. Cantini","year":"1990","unstructured":"Cantini, A. (1990). A theory of formal truth arithmetically equivalent to \n$\\mbox{ID}_1$\n. Journal of Symbolic Logic, 55(1), 244\u2013259.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR4","volume-title":"Logical frameworks for truth and abstraction, vol.\u00a0135 of studies in logic and the foundations of mathematics","author":"A. Cantini","year":"1996","unstructured":"Cantini, A. (1996). Logical frameworks for truth and abstraction, vol.\u00a0135 of Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Cantini, A. (2015). On stratified truth. In D. Achourioti, K. Fujimoto, H. Galinon, & J. Martinez (Eds.), Unifying the philosophy of truth, volume 36. Logic, epistemology and the unity of science. Dordrecht: Springer.","DOI":"10.1007\/978-94-017-9673-6_19"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Eberhard, S., & Strahm, T. (2015). Unfolding feasible arithmetic and weak truth. In D. Achourioti, K. Fujimoto, H. Galinon, & J. Martinez (Eds.), Unifying the philosophy of truth, volume 36. Logic, epistemology and the unity of science. Dordrecht: Springer.","DOI":"10.1007\/978-94-017-9673-6_7"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Feferman, S. (1975). A language and axioms for explicit mathematics. In J. Crossley (ed.) Algebra and logic, vol.\u00a0450 of Lecture Notes in Mathematics (pp.\u00a087\u2013139). Berlin: Springer.","DOI":"10.1007\/BFb0062852"},{"key":"6_CR8","first-page":"159","volume-title":"Logic colloquium 78","author":"S. Feferman","year":"1979","unstructured":"Feferman,S. (1979). Constructive theories of functions and classes. In M. Boffa, D. van Dalen, & K. McAloon (eds.) Logic colloquium 78 (pp.\u00a0159\u2013224). Amsterdam: North-Holland."},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0168-0072(93)90013-4","volume":"65","author":"S. Feferman","year":"1993","unstructured":"Feferman, S. & J\u00e4ger, G. (1993). Systems of explicit mathematics with non-constructive \u03bc-operator. Part I. Annals of Pure and Applied Logic, 65(3), 243\u2013263.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0168-0072(95)00028-3","volume":"79","author":"S. Feferman","year":"1996","unstructured":"Feferman, S. & J\u00e4ger, G. (1996). Systems of explicit mathematics with non-constructive \u03bc-operator. Part II. Annals of Pure and Applied Logic, 79, 37\u201352.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/420965","volume":"6","author":"S. Feferman","year":"2000","unstructured":"Feferman, S., Friedman, H. M., Maddy, P., & Steel, J. R. (2000). Does mathematics need new axioms?Bulletin of Symbolic Logic, 6(4), 401\u2013446.","journal-title":"Bulletin of Symbolic Logic"},{"key":"6_CR12","unstructured":"Flagg, R. & Myhill, J. (1987a). An extension of frege structures. In D. Kueker, E. Lopez-Escobar, & C. Smith (eds.), Mathematical logic and theoretical computer science (pp.\u00a0197\u2013217). New York: Dekker."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Flagg, R. & Myhill, J. (1987b). Implication and analysis in classical frege structures. Annals of Pure and Applied Logic, 34, 33\u201385.","DOI":"10.1016\/0168-0072(87)90040-6"},{"key":"6_CR14","unstructured":"Frege, G. (1893). Grundgesetze der Arithmetik; begriffschriftlich abgeleitet, vol.\u00a01. Jena: Hermann Pohle."},{"key":"6_CR15","unstructured":"Frege, G. (1903). Grundgesetze der Arithmetik, begriffschriftlich abgeleitet, vol. 2. Jena: Hermann Pohle. Reprinted together with vol.\u00a01, Hildesheim: Olms. 1966."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","volume":"33","author":"H. Friedman","year":"1982","unstructured":"Friedman, H., & Sheard, M. (1982). An axiomatic approach to self-referential truth. Annals of Pure and Applied Logic, 33, 1\u201321.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"914","DOI":"10.2178\/jsl\/1309952527","volume":"76","author":"K. Fujimoto","year":"2011","unstructured":"Fujimoto, K. (2011). Autonomous progression and transfinite iteration of self-applicable truth. Journal of Symbolic Logic, 76(3), 914\u2013945.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1016\/j.apal.2011.12.006","volume":"163","author":"K. Fujimoto","year":"2012","unstructured":"Fujimoto, K. (2012). Classes and truths in set theory. Annals of Pure and Applied Logic, 163, 1484\u20131523.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0168-0072(96)00005-X","volume":"82","author":"T. Gla\u00df","year":"1996","unstructured":"Gla\u00df, T. & Strahm, T. (1996). Systems of explicit mathematics with non-constructive \u03bc-operator and join. Annals of Pure and Applied Logic, 82(2), 193\u2013219.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR20","unstructured":"Halbach, V. (2009). Axiomatic theories of truth. In E. N. Zalta (ed.), The stanford encyclopedia of philosophy. Winter 2009 edition. http:\/\/plato.stanford.edu\/entries\/truth-axiomatic\/."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Halbach, V. & Horsten, L. (2015). Norms for theories of reflexive truth. In D. Achourioti, K. Fujimoto, H. Galinon, & J. Martinez (Eds.), Unifying the philosophy of truth, volume 36. Logic, epistemology and the unity of science. Dordrecht: Springer.","DOI":"10.1007\/978-94-017-9673-6_12"},{"issue":"3\/4","key":"6_CR22","first-page":"405","volume":"78","author":"D. Hilbert","year":"1918","unstructured":"Hilbert, D. (1918). Axiomatisches Denken. Mathematische Annalen, 78(3\/4), 405\u2013415.","journal-title":"Mathematische Annalen"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"J\u00e4ger, G., Kahle, R., Setzer, A., & Strahm, T. (1999a). The proof-theoretic analysis of transfinitely iterated fixed point theories. Journal of Symbolic Logic, 64(1), 53\u201367.","DOI":"10.2307\/2586750"},{"key":"6_CR200","doi-asserted-by":"crossref","unstructured":"J\u00e4ger, G., Kahle, R., & Strahm, T. (1999b). On applicative theories. In A. Cantini, E. Casari, & P. Minari (eds.) Logic and foundation of mathematics. (pp. 88\u201392). Dordrecht: Kluwer.","DOI":"10.1007\/978-94-017-2109-7_6"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0168-0072(94)00037-4","volume":"74","author":"G. J\u00e4ger","year":"1995","unstructured":"J\u00e4ger, G. & Strahm, T. (1995). Totality in applicative theories. Annals of Pure and Applied Logic, 74, 105\u2013120.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"J\u00e4ger, G. & Strahm, T. (2002). The proof-theoretic strength of the Suslin operator in applicative theories. In W. Sieg, R. Sommer, & C. Talcott (eds.) Reflections on the foundations of mathematics: Essays in honor of Solomon Feferman. Vol.\u00a015 of Lecture Notes in Logic (pp.\u00a0270\u2013292). ASL and AK Peters.","DOI":"10.1017\/9781316755983.014"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"J\u00e4ger, G., Kahle, R., & Strahm, T. (1999b). On applicative theories. In A. Cantini, E. Casari, & P. Minari (eds.) Logic and foundation of mathematics. (pp.\u00a088\u201392). Kluwer. Dordrecht:","DOI":"10.1007\/978-94-017-2109-7_6"},{"issue":"5","key":"6_CR27","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/logcom\/9.5.683","volume":"9","author":"R. Kahle","year":"1999","unstructured":"Kahle, R. (1999). Frege structures for partial applicative theories. Journal of Logic and Computation, 9(5), 683\u2013700.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1023\/A:1011954206722","volume":"68","author":"R. Kahle","year":"2001","unstructured":"Kahle, R. (2001). Truth in applicative theories. Studia Logica, 68(1), 103\u2013128.","journal-title":"Studia Logica"},{"issue":"1\u20133","key":"6_CR29","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0168-0072(02)00040-4","volume":"119","author":"R. Kahle","year":"2003","unstructured":"Kahle, R. (2003). Universes over Frege structures. Annals of Pure and Applied Logic, 119(1\u20133), 191\u2013223.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR41","unstructured":"Kahle, R. (2007). The applicative realm volume 40, of Textos de Matem\u00e1tica. Coimbra: Departamento de Matem\u00e1tica.. Coimbra"},{"key":"6_CR30","unstructured":"Kahle, R. (2009). The universal set\u2014a (never fought) battle between philosophy and mathematics. In O. Pombo & \u00c1. Nepomuceno (eds.), L\u00f3gica e Filosofia da Ci\u00eancia, vol.\u00a02 of Colec\u00e7\u00e3o Documenta (pp.\u00a053\u201365). Lisboa: Centro de Filosofia das Ci\u00eancias da Universidade de Lisboa."},{"issue":"2","key":"6_CR31","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1017\/S1755020310000407","volume":"4","author":"R. Kahle","year":"2011","unstructured":"Kahle, R. (2011). The universal set and diagonalization in Frege structures. Review of Symbolic Logic, 4(2), 205\u2013218.","journal-title":"Review of Symbolic Logic"},{"key":"6_CR42","unstructured":"Kahle, R. (2015). Axioms as hypotheses. In T. Piecha & P. Schroeder-Heister (Eds.), Proceedings of the Conference on Hypothetical Reasoning, 23\u201324 August 2014 (pp. 47\u201354). T\u00fcbingen: University of T\u00fcbingen."},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s00153-009-0170-2","volume":"49","author":"G. Leigh","year":"2010","unstructured":"Leigh, G. & Rathjen, M. (2010). An ordinal analysis for theories of self-referential truth. Archive for Mathematical Logic, 49, 213\u2013247.","journal-title":"Archive for Mathematical Logic"},{"key":"6_CR33","unstructured":"Maddy, P. (1997). Naturalism in mathematics. Oxford: Clarendon."},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF01269876","volume":"34","author":"A. Schl\u00fcter","year":"1995","unstructured":"Schl\u00fcter, A. (1995). A theory of rules for enumerated classes of functions. Archive for Mathematical Logic, 34, 47\u201363.","journal-title":"Archive for Mathematical Logic"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Scott, D. (1975). Combinators and classes. In refedC. B\u00f6hm (ed.), \u03bb-Calculus and computer science theory. Vol.\u00a037 of Lecture Notes in Computer Science. (pp.\u00a01\u201326). Berlin: Springer.","DOI":"10.1007\/BFb0029517"},{"key":"6_CR36","unstructured":"Troelstra, A. & van Dalen, D. (1988). Constructivism in mathematics, vol.\u00a0II. Amsterdam: North Holland."},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"refauvan Fraassen, B. (1968). Presupposition, implication and self-reference. Journal of Philosophy, 65, 135\u2013152.","DOI":"10.2307\/2024557"},{"key":"6_CR38","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF00484809","volume":"21","author":"B. van Fraassen","year":"1970","unstructured":"van Fraassen, B. (1970). Inference and self-reference. Synthese, 21, 425\u2013438.","journal-title":"Synthese"}],"container-title":["Logic, Epistemology, and the Unity of Science","Unifying the Philosophy of Truth"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-9673-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T16:27:35Z","timestamp":1674836855000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-017-9673-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9789401796729","9789401796736"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-9673-6_6","relation":{},"ISSN":["2214-9775","2214-9783"],"issn-type":[{"type":"print","value":"2214-9775"},{"type":"electronic","value":"2214-9783"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}