{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T07:28:14Z","timestamp":1744874894133},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T00:00:00Z","timestamp":1413504000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s11229-014-0560-9","type":"journal-article","created":{"date-parts":[[2014,10,16]],"date-time":"2014-10-16T04:19:04Z","timestamp":1413433144000},"page":"2437-2462","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Transfinite recursion and computation in the iterative conception of set"],"prefix":"10.1007","volume":"192","author":[{"given":"Benjamin","family":"Rin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,17]]},"reference":[{"issue":"1","key":"560_CR1","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1093\/philmat\/12.1.54","volume":"12","author":"S Awodey","year":"2004","unstructured":"Awodey, S. (2004). An answer to Hellman\u2019s question: Does category theory provide a framework for mathematical structuralism? Philosophia Mathematica, 12(1), 54\u201364.","journal-title":"Philosophia Mathematica"},{"key":"560_CR2","doi-asserted-by":"crossref","unstructured":"Beeson, M. J. (1985). Foundations of constructive mathematics (Vol. 6), Ergebnisse der Mathematik und ihrer Grenzgebiete. Berlin: Springer.","DOI":"10.1007\/978-3-642-68952-9"},{"key":"560_CR3","doi-asserted-by":"crossref","unstructured":"Bernays, P. (1976). On the problem of schemata of infinity in axiomatic set theory. In G. H. M\u00fcller (Ed.), Sets and classes on the work by Paul Bernays (Vol. 84, pp. 121\u2013172), Studies in logic and the foundations of mathematics. Amsterdam: Elsevier.","DOI":"10.1016\/S0049-237X(08)70893-0"},{"issue":"8","key":"560_CR4","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/2025204","volume":"68","author":"G Boolos","year":"1971","unstructured":"Boolos, G. (1971). The iterative conception of set. Journal of Philosophy, 68(8), 215\u2013231.","journal-title":"Journal of Philosophy"},{"key":"560_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.5840\/philtopics19891721","volume":"17","author":"G Boolos","year":"1989","unstructured":"Boolos, G. (1989). Iteration again. Philosophical Topics, 17, 5\u201321. Reprinted in George Boolos (1998).","journal-title":"Philosophical Topics"},{"key":"560_CR6","unstructured":"Boolos, G. (1998). Logic, logic, and logic. In R. Jeffrey (Ed.), Cambridge, MA: Harvard University Press"},{"key":"560_CR7","doi-asserted-by":"crossref","first-page":"544","DOI":"10.2307\/2274241","volume":"50","author":"JP Burgess","year":"1985","unstructured":"Burgess, J. P. (1985). Reviews. The Journal of Symbolic Logic, 50, 544\u2013547.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"560_CR8","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1093\/philmat\/12.3.193","volume":"12","author":"JP Burgess","year":"2004","unstructured":"Burgess, J. P. (2004). E pluribus unum: Plural logic and set theory. Philosophia Mathematica, 12(3), 193\u2013221.","journal-title":"Philosophia Mathematica"},{"key":"560_CR9","unstructured":"Carl, M. (2013).Towards a church-turing-thesis for infinitary computations. Preprint"},{"key":"560_CR10","unstructured":"Drake, D. R. (1974). Set theory: An introduction to large cardinals (Vol. 76), Studies in logic and the foundations of mathematics. Amsterdam: North-Holland."},{"issue":"12","key":"560_CR11","doi-asserted-by":"crossref","first-page":"599","DOI":"10.2307\/2564641","volume":"95","author":"K Fine","year":"1998","unstructured":"Fine, K. (1998). Cantorian abstraction: A reconstruction and defense. The Journal of Philosophy, 95(12), 599\u2013634.","journal-title":"The Journal of Philosophy"},{"key":"560_CR12","volume-title":"Kurt G\u00f6del, collected works, volume III: Unpublished essays and lectures","author":"K G\u00f6del","year":"2001","unstructured":"G\u00f6del, K. (2001). Kurt G\u00f6del, collected works, volume III: Unpublished essays and lectures. New York, USA: Oxford University Press."},{"key":"560_CR13","unstructured":"Hallett, M. (1984). Cantorian set theory and limitation of size (Vol. 10), Oxford logic guides. New York: The Clarendon Press."},{"key":"560_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262015868.001.0001","volume-title":"The Tarskian turn","author":"L Horsten","year":"2011","unstructured":"Horsten, L. (2011). The Tarskian turn. Cambridge: The MIT Press."},{"key":"560_CR15","unstructured":"Jech,T. (2003). Set theory. Springer monographs in mathematics. The Third Millennium Edition. Berlin: Springer,"},{"key":"560_CR16","doi-asserted-by":"crossref","unstructured":"Jensen, R. B., & Karp, C. (1971). Primitive recursive set functions. In D. S. Scott (Ed.), Axiomatic Set Theory Volume XIII (Part 1) of Proceedings of Symposia in Pure Mathematics (pp. 143\u2013176). Providence, Rhode Island: American Mathematical Society","DOI":"10.1090\/pspum\/013.1\/0281602"},{"issue":"1","key":"560_CR17","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/j.apal.2005.09.009","volume":"140","author":"A Kanamori","year":"2006","unstructured":"Kanamori, A. (2006). Levy and set theory. Annals of Pure and Applied Logic, 140(1), 233\u2013252.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"560_CR18","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2178\/bsl\/1231081769","volume":"15","author":"A Kanamori","year":"2009","unstructured":"Kanamori, A. (2009). Bernays and set theory. Bulletin of Symbolic Logic, 15(1), 43\u201369.","journal-title":"Bulletin of Symbolic Logic"},{"issue":"1","key":"560_CR19","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2178\/bsl\/1327328439","volume":"18","author":"A Kanamori","year":"2012","unstructured":"Kanamori, A. (2012). In praise of replacement. Bulletin of Symbolic Logic, 18(1), 46\u201390.","journal-title":"Bulletin of Symbolic Logic"},{"issue":"3(Sep., 2005)","key":"560_CR20","doi-asserted-by":"crossref","first-page":"377","DOI":"10.2178\/bsl\/1122038993","volume":"11","author":"P Koepke","year":"2005","unstructured":"Koepke, P. (2005). Computations on ordinals. The Bulletin of Symbolic Logic, 11(3(Sep., 2005)), 377\u2013397.","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"2\u20133","key":"560_CR21","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1016\/j.apal.2008.09.007","volume":"157","author":"P Koellner","year":"2009","unstructured":"Koellner, P. (2009). On reflection principles. Annals of Pure and Applied Logic, 157(2\u20133), 206\u2013219.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"560_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2178\/bsl\/1264433796","volume":"16","author":"P Koellner","year":"2010","unstructured":"Koellner, P. (2010). Strong logics of first and second order. Bulletin of Symbolic Logic, 16(1), 1\u201336.","journal-title":"Bulletin of Symbolic Logic"},{"key":"560_CR23","unstructured":"Kreisel, G. (1961). Set theoretic problems suggested by the notion of potential totality. In Infinitistic methods (pp. 103\u2013140). New York: Pergamon."},{"key":"560_CR24","doi-asserted-by":"crossref","unstructured":"Kreisel, G. (1971). Some reasons for generalizing recursion theory. In R. O. Gandy & C. E. M. Yates (Eds.), Logic colloquium \u201969 (Vol. 61, pp. 139\u2013198), Studies in logic and the foundations of mathematics. Amsterdam: North-Holland.","DOI":"10.1016\/S0049-237X(08)71230-8"},{"issue":"3","key":"560_CR25","doi-asserted-by":"crossref","first-page":"318","DOI":"10.2307\/2269621","volume":"30","author":"G Kreisel","year":"1965","unstructured":"Kreisel, G., & Sacks, G. E. (1965). Metarecursive sets. Journal of Symbolic Logic, 30(3), 318\u2013338.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"560_CR26","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1016\/j.apal.2009.01.005","volume":"160","author":"P Koepke","year":"2009","unstructured":"Koepke, P., & Seyfferth, B. (2009). Ordinal machines and admissible recursion theory. Annals of Pure and Applied Logic, 160(3), 310\u2013318.","journal-title":"Annals of Pure and Applied Logic"},{"key":"560_CR27","unstructured":"Kunen, K. (1980). Set theory : An introduction to independence proofs, Studies in logic and the foundations of mathematics. Amsterdam, Lausanne, New York: Elsevier. Fifth impression."},{"issue":"1","key":"560_CR28","doi-asserted-by":"crossref","first-page":"76","DOI":"10.4064\/fm-3-1-76-108","volume":"3","author":"C Kuratowski","year":"1922","unstructured":"Kuratowski, C. (1922). Une m\u00e9thode d\u2019\u00e9limination des nombres transfinis des raisonnements math\u00e9matiques. Fundamenta Mathematicae, 3(1), 76\u2013108.","journal-title":"Fundamenta Mathematicae"},{"issue":"1","key":"560_CR29","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2140\/pjm.1960.10.223","volume":"10","author":"A L\u00e9vy","year":"1960","unstructured":"L\u00e9vy, A. (1960). Axiom schemata of strong infinity in axiomatic set theory. Pacific Journal of Mathematics, 10(1), 223\u2013238.","journal-title":"Pacific Journal of Mathematics"},{"key":"560_CR30","unstructured":"Landry, E. (1999).Category theory as a framework for mathematical structuralism. In The 1998 Annual Proceedings of the Canadian Society for the History and Philosophy of Mathematics (pp. 133\u2013142) ."},{"key":"560_CR31","unstructured":"Lavine, S. (1999). Skolem was wrong. Dated June: Unpublished."},{"issue":"230","key":"560_CR32","first-page":"59","volume":"58","author":"\u00d8 Linnebo","year":"2008","unstructured":"Linnebo, \u00d8. (2008). Structuralism and the notion of dependence. The Philosophical Quarterly, 58(230), 59\u201379.","journal-title":"The Philosophical Quarterly"},{"issue":"4","key":"560_CR33","doi-asserted-by":"crossref","first-page":"111","DOI":"10.2307\/2024032","volume":"67","author":"DA Martin","year":"1970","unstructured":"Martin, D. A. (1970). Review of W. V. Quine (1969). The Journal of Philosophy, 67(4), 111\u2013114.","journal-title":"The Journal of Philosophy"},{"issue":"2","key":"560_CR34","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2695026","volume":"66","author":"ARD Mathias","year":"2001","unstructured":"Mathias, A. R. D. (2001). Slim models of zermelo set theory. The Journal of Symbol Logic, 66(2), 487\u2013496.","journal-title":"The Journal of Symbol Logic"},{"issue":"171","key":"560_CR35","doi-asserted-by":"crossref","first-page":"178","DOI":"10.2307\/2220368","volume":"43","author":"MD Potter","year":"1993","unstructured":"Potter, M. D. (1993). Iterative set theory. The Philosophical Quarterly, 43(171), 178\u2013193.","journal-title":"The Philosophical Quarterly"},{"key":"560_CR36","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199269730.001.0001","volume-title":"Set theory and its philosophy","author":"M Potter","year":"2004","unstructured":"Potter, M. (2004). Set theory and its philosophy. Oxford: Oxford University Press."},{"key":"560_CR37","volume-title":"Set theory and its logic","author":"WV Quine","year":"1969","unstructured":"Quine, W. V. (1969). Set theory and its logic (Revised ed.). Cambridge: Harvard University Press.","edition":"Revised"},{"key":"560_CR38","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1090\/pspum\/013.2\/0401475","volume-title":"Axiomatic set theory","author":"WN Reinhardt","year":"1974","unstructured":"Reinhardt, W. N. (1974). Remarks on reflection principles, large cardinals, and elementary embeddings. In T. Jech (Ed.), Axiomatic set theory (pp. 189\u2013205). Providence: American Mathematical Society."},{"key":"560_CR39","series-title":"Perspectives in mathematical logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12013-2","volume-title":"Higher recursion theory","author":"GE Sacks","year":"1990","unstructured":"Sacks, G. E. (1990). Higher recursion theory., Perspectives in mathematical logic Berlin: Springer."},{"key":"560_CR40","volume-title":"Church without dogma: Axioms for computability","author":"W Sieg","year":"2005","unstructured":"Sieg, W. (2005). Church without dogma: Axioms for computability. New York: Springer."},{"key":"560_CR41","doi-asserted-by":"crossref","unstructured":"Soare, R. I. (1987). Recursively enumerable sets and degrees., Perspectives in mathematical logic Berlin: Springer.","DOI":"10.1007\/978-3-662-02460-7"},{"key":"560_CR42","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1093\/acprof:oso\/9780199296453.003.0010","volume-title":"The philosophy of mathematical practice","author":"J Tappenden","year":"2008","unstructured":"Tappenden, J. (2008). Mathematical concepts and definitions. In P. Mancosu (Ed.), The philosophy of mathematical practice (pp. 256\u2013276). Oxford: Oxford University Press."},{"issue":"42","key":"560_CR43","first-page":"230","volume":"2","author":"AM Turing","year":"1936","unstructured":"Turing, A. M. (1936). On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society, 2(42), 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0560-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-014-0560-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0560-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T03:43:57Z","timestamp":1565927037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-014-0560-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,17]]},"references-count":43,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["560"],"URL":"https:\/\/doi.org\/10.1007\/s11229-014-0560-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,17]]}}}