{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:05:30Z","timestamp":1775037930693,"version":"3.50.1"},"reference-count":97,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,6,23]],"date-time":"2015-06-23T00:00:00Z","timestamp":1435017600000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10992-015-9375-5","type":"journal-article","created":{"date-parts":[[2015,6,22]],"date-time":"2015-06-22T02:40:55Z","timestamp":1434940855000},"page":"277-326","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Predicativity, the Russell-Myhill Paradox, and Church\u2019s Intensional Logic"],"prefix":"10.1007","volume":"45","author":[{"given":"Sean","family":"Walsh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,23]]},"reference":[{"issue":"2","key":"9375_CR1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.2307\/2214862","volume":"14","author":"C Anthony Anderson","year":"1980","unstructured":"Anthony Anderson, C. (1980). Some new axioms for the logic of sense and denotation: alternative (0). No\u00fbs, 14(2), 217\u2013234.","journal-title":"No\u00fbs"},{"key":"9375_CR2","doi-asserted-by":"crossref","unstructured":"Anthony Anderson, C. (1984). General intensional logic In D. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic. Vol. II: Extensions of Classical Logic, volume 165 of Synthese Library, pp. 355\u2013385. Dordrecht: Reidel.","DOI":"10.1007\/978-94-009-6259-0_7"},{"issue":"1","key":"9375_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2215278","volume":"20","author":"C Anthony Anderson","year":"1986","unstructured":"Anthony Anderson, C. (1986). Some difficulties concerning Russellian intensional logic. No\u00fbs, 20(1), 35\u201343.","journal-title":"No\u00fbs"},{"issue":"1","key":"9375_CR4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1305\/ndjfl\/1093636849","volume":"28","author":"C Anthony Anderson","year":"1987","unstructured":"Anthony Anderson, C. (1987). Semantical antinomies in the logic of sense and denotation. Notre Dame Journal of Formal Logic, 28(1), 99\u2013114.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9375_CR5","doi-asserted-by":"crossref","first-page":"129","DOI":"10.2307\/421020","volume":"4","author":"C Anthony Anderson","year":"1998","unstructured":"Anthony Anderson, C. (1998). Alonzo Church\u2019s contributions to philosophy and intensional logic. Bulletin of Symbolic Logic, 4(2), 129\u2013171.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9375_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J Barwise","year":"1975","unstructured":"Barwise, J. (1975). Admissible sets and structures. Berlin: Springer."},{"key":"9375_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and concept","author":"G Bealer","year":"1982","unstructured":"Bealer, G. (1982). Quality and concept. Oxford: Oxford University Press."},{"issue":"2","key":"9375_CR8","doi-asserted-by":"crossref","first-page":"145","DOI":"10.2178\/bsl\/1243948484","volume":"15","author":"A Blass","year":"2009","unstructured":"Blass, A., Dershowitz, N., & Gurevich, Y. (2009). When are two algorithms the same? Bulletin of Symbolic Logic, 15(2), 145\u2013168.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9375_CR9","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. The Journal of Philosophy, 68, 215\u2013232. Reprinted in [10].","journal-title":"The Journal of Philosophy"},{"key":"9375_CR10","volume-title":"Logic, logic, and logic","author":"G Boolos","year":"1998","unstructured":"Boolos, G. (1998). Logic, logic, and logic. Cambridge: Harvard University Press. Edited by Richard Jeffrey."},{"issue":"4","key":"9375_CR11","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1111\/j.1468-0068.2010.00788.x","volume":"45","author":"DJ Chalmers","year":"2011","unstructured":"Chalmers, D.J. (2011). Propositions and attitude ascriptions: a Fregean account. No\u00fbs, 45(4), 595\u2013639.","journal-title":"No\u00fbs"},{"key":"9375_CR12","volume-title":"Ontology and the vicious circle principle","author":"C Chihara","year":"1973","unstructured":"Chihara, C. (1973). Ontology and the vicious circle principle. Ithaca: Cornell University Press."},{"issue":"1","key":"9375_CR13","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2267994","volume":"8","author":"A Church","year":"1943","unstructured":"Church, A. (1943). [review of [72]]. The Journal of Symbolic Logic, 8(1), 45\u201347.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9375_CR14","first-page":"31","volume":"11","author":"A Church","year":"1946","unstructured":"Church, A. (1946). A formulation of the logic of sense and denotation [Abstract]. The Journal of Symbolic Logic, 11(1), 31.","journal-title":"The Journal of Symbolic Logic"},{"key":"9375_CR15","unstructured":"Church, A. (1951). A formulation of the logic of sense and reference In P. Henle, H.M. Kallen, & S.K. Langer (Eds.), Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer, pp. 2\u201324: Liberal Arts Press."},{"issue":"2","key":"9375_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2307\/2214782","volume":"8","author":"A Church","year":"1974","unstructured":"Church, A. (1974). Outline of a revised formulation of the logic of sense and denotation. II. No\u00fbs, 8(2), 135\u2013156.","journal-title":"No\u00fbs"},{"key":"9375_CR17","first-page":"513","volume":"21","author":"A Church","year":"1984","unstructured":"Church, A. (1984). Russell\u2019s theory of identity of propositions. Philosophia Naturalis, 21, 513\u2013522.","journal-title":"Philosophia Naturalis"},{"issue":"2","key":"9375_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2215752","volume":"27","author":"A Church","year":"1993","unstructured":"Church, A. (1993). A revised formulation of the logic of sense and denotation. Alternative (1). No\u00fbs, 27(2), 141\u2013157.","journal-title":"No\u00fbs"},{"key":"9375_CR19","unstructured":"de Rouilhan, P. (2005). Russell\u2019s logics. In Logic Colloquium 2000, volume 19 of Lecture Notes in Logic, pp. 335\u2013349. Association for Symbolic Logic, Urbana."},{"issue":"2","key":"9375_CR20","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1080\/01445349408837233","volume":"15","author":"W Demopoulos","year":"1994","unstructured":"Demopoulos, W. (1994). Frege Hilbert and the conceptual structure of model theory. History and Philosophy of Logic, 15(2), 211\u2013225.","journal-title":"History and Philosophy of Logic"},{"key":"9375_CR21","unstructured":"Demopoulos, W. (Ed.) (1995). Frege\u2019s philosophy of mathematics. Cambridge: Harvard University Press."},{"issue":"4","key":"9375_CR22","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1111\/0029-4624.00135","volume":"32","author":"W Demopoulos","year":"1998","unstructured":"Demopoulos, W. (1998). The philosophical basis of our knowledge of number. No\u00fbs, 32(4), 481\u2013503.","journal-title":"No\u00fbs"},{"key":"9375_CR23","doi-asserted-by":"crossref","unstructured":"Demopoulos, W., & Clark, P. (2005). The logicism of Frege, Dedekind, and Russell In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic, pp. 129\u2013165. Oxford: Oxford University Press.","DOI":"10.1093\/0195148770.003.0005"},{"key":"9375_CR24","volume-title":"Introduction to Montague semantics","author":"DR Dowty","year":"1981","unstructured":"Dowty, D.R., Wall, R.E., & Peters, S. (1981). Introduction to Montague semantics. Dordrecht: Reidel."},{"key":"9375_CR25","first-page":"140","volume":"5","author":"M Dummett","year":"1963","unstructured":"Dummett, M (1963). The philosophical significance of G\u00f6del\u2019s theorem. Ratio, 5, 140\u2013155.","journal-title":"Ratio"},{"key":"9375_CR26","volume-title":"Truth and other enigmas","author":"M Dummett","year":"1978","unstructured":"Dummett, M. (1978). Truth and other enigmas. Cambridge: Harvard University Press."},{"key":"9375_CR27","volume-title":"Frege: philosophy of language","author":"M Dummett","year":"1981","unstructured":"Dummett, M. (1981). Frege: philosophy of language, 2nd edn. New York: Harper & Row.","edition":"2nd edn."},{"key":"9375_CR28","volume-title":"Frege: philosophy of mathematics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). Frege: philosophy of mathematics. Cambridge: Harvard University Press."},{"key":"9375_CR29","volume-title":"The seas of language","author":"M Dummett","year":"1993","unstructured":"Dummett, M. (1993). The seas of language. Oxford: Clarendon."},{"key":"9375_CR30","unstructured":"Dummett, M. (1994). What is mathematics about? In Mathematics and Mind, Logic and Computation in Philosophy, pp. 11\u201326. Reprinted in [29]: Oxford University Press."},{"key":"9375_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8812-3","volume-title":"Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic","author":"M Du\u017e\u00ed","year":"2010","unstructured":"Du\u017e\u00ed, M., Jespersen, B., & Materna, P. (2010). Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic. Berlin: Springer."},{"key":"9375_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","volume":"29","author":"S Feferman","year":"1964","unstructured":"Feferman, S. (1964). Systems of predicative analysis. The Journal of Symbolic Logic, 29, 1\u201330.","journal-title":"The Journal of Symbolic Logic"},{"key":"9375_CR33","doi-asserted-by":"crossref","unstructured":"Feferman, S. (1968). Lectures on Proof Theory. In Proceedings of the Summer School in Logic, pp. 1\u2013107. Berlin: Springer.","DOI":"10.1007\/BFb0079094"},{"key":"9375_CR34","doi-asserted-by":"crossref","unstructured":"Feferman, S. (2005). Predicativity In S. Shapiro (Ed.), The Oxford Handbook of Philosophy of Mathematics and Logic, pp. 590\u2013624. Oxford: Oxford University Press.","DOI":"10.1093\/0195148770.003.0019"},{"issue":"4","key":"9375_CR35","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1023\/A:1019919403797","volume":"31","author":"F Ferreira","year":"2002","unstructured":"Ferreira, F., & Wehmeier, K.F. (2002). On the consistency of the \u0394 1 1 ${\\Delta }_{1}^{1}$ -CA fragment of Frege\u2019s Grundgesetze. Journal of Philosophical Logic, 31(4), 301\u2013311.","journal-title":"Journal of Philosophical Logic"},{"key":"9375_CR36","doi-asserted-by":"crossref","DOI":"10.1002\/9780470773543","volume-title":"Foundations of intensional semantics","author":"C Fox","year":"2005","unstructured":"Fox, C., & Lappin, S. (2005). Foundations of intensional semantics. Malden: Blackwell."},{"key":"9375_CR37","unstructured":"Frege, G.. Grundgesetze der Arithmetik: begriffsschriftlich abgeleitet. Jena: Pohle. 1893, 1903. Two volumes. Reprinted in [38]."},{"key":"9375_CR38","volume-title":"Grundgesetze der Arithmetik: begriffsschriftlich abgeleitet","author":"G Frege","year":"1962","unstructured":"Frege, G. (1962). Grundgesetze der Arithmetik: begriffsschriftlich abgeleitet. Hildesheim: Olms."},{"key":"9375_CR39","volume-title":"Basic laws of arithmetic","author":"G Frege","year":"2013","unstructured":"Frege, G. (2013). Basic laws of arithmetic. Oxford: Oxford University Press. Translated by Philip A. Ebert and Marcus Rossberg."},{"key":"9375_CR40","unstructured":"Gallin, D. (1975). Intensional and higher-order modal logic. North-Holland."},{"key":"9375_CR41","volume-title":"Intensional logic and logical grammar, volume 2 of Logic, Language, and Meaning","author":"LTF Gamut","year":"1991","unstructured":"Gamut, L.T.F. (1991). Intensional logic and logical grammar, volume 2 of Logic, Language, and Meaning. Chicago: University of Chicago Press."},{"key":"9375_CR42","unstructured":"Goldfarb, W. (1988). Russell\u2019s reasons for ramification In C. Wade Savage, & C. Anthony Anderson (Eds.), Essays of Bertrand Russell\u2019s Metaphysics and Epistemology, volume 11 of Minnesota Studies in the Philosophy of Science, pp. 24\u201340. Minneapolis: University of Minnesota Press."},{"issue":"4","key":"9375_CR43","first-page":"209","volume":"17","author":"RG Heck Jr.","year":"1996","unstructured":"Heck Jr., R.G. (1996). The consistency of predicative fragments of Frege\u2019s Grundgesetze der Arithmetik. History and Philosophy of Logic, 17(4), 209\u2013220.","journal-title":"History and Philosophy of Logic"},{"key":"9375_CR44","volume-title":"Semantics in generative grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., & Kratzer, A. (1998). Semantics in generative grammar. Malden: Blackwell."},{"key":"9375_CR45","unstructured":"Heinzmann, G. (1986). Poincar\u00e9, Russell, Zermelo et Peano. Textes de la discussion (1906\u20131912) sur les fondements des math\u00e9matiques: des antinomie \u00e0 la pr\u00e9dicativi\u00e9. Blanchard."},{"key":"9375_CR46","volume-title":"Frege on definitions","author":"J Horty","year":"2007","unstructured":"Horty, J. (2007). Frege on definitions. Oxford: Oxford University Press."},{"key":"9375_CR47","volume-title":"Introduction to set theory, volume 220 of Monographs and Textbooks in Pure and Applied Mathematics","author":"K Hrbacek","year":"1999","unstructured":"Hrbacek, K., & Jech, T. (1999). Introduction to set theory, volume 220 of Monographs and Textbooks in Pure and Applied Mathematics, 3rd edn. New York: Dekker.","edition":"3rd edn."},{"key":"9375_CR48","volume-title":"Set theory. Springer Monographs in Mathematics","author":"T Jech","year":"2003","unstructured":"Jech, T. (2003). Set theory. Springer Monographs in Mathematics. Berlin: Springer. The Third Millennium Edition."},{"key":"9375_CR49","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","volume":"4","author":"RB Jensen","year":"1972","unstructured":"Jensen, R.B. (1972). The fine structure of the constructible hierarchy. Annals of Mathematical Logic, 4, 229\u2013308.","journal-title":"Annals of Mathematical Logic"},{"issue":"19","key":"9375_CR50","doi-asserted-by":"crossref","first-page":"716","DOI":"10.2307\/2024635","volume":"72","author":"D Kaplan","year":"1975","unstructured":"Kaplan, D. (1975). How to Russell a Frege-Church. Journal of Philosophy, 72 (19), 716\u2013729.","journal-title":"Journal of Philosophy"},{"key":"9375_CR51","volume-title":"Devlin. Constructibility. Perspectives in Mathematical Logic","author":"J Keith","year":"1984","unstructured":"Keith, J. (1984). Devlin. Constructibility. Perspectives in Mathematical Logic. Berlin: Springer."},{"key":"9375_CR52","volume-title":"Frege and the logic of sense and reference","author":"KC Klement","year":"2002","unstructured":"Klement, K.C. (2002). Frege and the logic of sense and reference. New York and London: Routledge."},{"issue":"3","key":"9375_CR53","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1023\/A:1022619903237","volume":"58","author":"KC Klement","year":"2003","unstructured":"Klement, K.C. (2003). The number of senses. Erkenntnis, 58(3), 303\u2013323.","journal-title":"Erkenntnis"},{"issue":"2","key":"9375_CR54","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2178\/bsl\/1286889123","volume":"16","author":"KC Klement","year":"2010","unstructured":"Klement, K.C. (2010). The senses of functions in the logic of sense and denotation. Bulletin of Symbolic Logic, 16(2), 153\u2013188.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9375_CR55","unstructured":"Klement, K.C. (2014). Russell-Myhill Paradox. In The Internet Encyclopedia of Philosophy. ISSN 2161-0002. http:\/\/www.iep.utm.edu\/ ."},{"issue":"3","key":"9375_CR56","first-page":"161","volume":"29","author":"S Kripke","year":"1964","unstructured":"Kripke, S. (1964). Transfinite recursion on admissible ordinals I, II. The Journal of Symbolic Logic, 29(3), 161\u2013162.","journal-title":"The Journal of Symbolic Logic"},{"key":"9375_CR57","unstructured":"Kunen, K. (1980). Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics. North-Holland."},{"key":"9375_CR58","volume-title":"Set theory","author":"K Kunen","year":"2011","unstructured":"Kunen, K. (2011). Set theory. London: College Publications."},{"key":"9375_CR59","volume-title":"Extensions of First Order Logic, volume 19 of Cambridge Tracts in Theoretical Computer Science","author":"M Manzano","year":"1996","unstructured":"Manzano, M. (1996). Extensions of First Order Logic, volume 19 of Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press."},{"issue":"4","key":"9375_CR60","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 [75]. The Journal of Philosophy, 67(4), 111\u2013114.","journal-title":"The Journal of Philosophy"},{"key":"9375_CR61","unstructured":"Moschovakis, Y.N. (1993). Sense and denotation as algorithm and value. In Logic Colloquium \u201990, volume 2 of Lecture Notes Logic, pp. 210\u2013249. Berlin: Springer."},{"issue":"4","key":"9375_CR62","first-page":"639","volume":"5","author":"J Myhill","year":"1952","unstructured":"Myhill, J. (1952). Two ways of ontology in modern logic. Review of Metaphysics, 5(4), 639\u2013655.","journal-title":"Review of Metaphysics"},{"key":"9375_CR63","first-page":"78","volume":"1","author":"J Myhill","year":"1958","unstructured":"Myhill, J. (1958). Problems arising in the formalization of intensional logic. Logique et Analyse, 1, 78\u201383.","journal-title":"Logique et Analyse"},{"issue":"2","key":"9375_CR64","doi-asserted-by":"crossref","first-page":"289","DOI":"10.2307\/2273143","volume":"47","author":"C Parsons","year":"1982","unstructured":"Parsons, C. (1982). Intensional logic in extensional language. The Journal of Symbolic Logic, 47(2), 289\u2013328.","journal-title":"The Journal of Symbolic Logic"},{"key":"9375_CR65","volume-title":"Mathematics in philosophy: selected essays","author":"C Parsons","year":"1983","unstructured":"Parsons, C. (1983). Mathematics in philosophy: selected essays. Ithaca: Cornell University Press."},{"key":"9375_CR66","unstructured":"Parsons, C. (2002). Realism and the debate on impredicativity, 1917\u20131944. In Reflections on the foundations of mathematics (Stanford, CA, 1998), volume 15 of Lecture Notes in Logic, pp. 372\u2013389. Urbana: Associaton of Symbolic Logic."},{"issue":"1","key":"9375_CR67","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1093636853","volume":"28","author":"T Parsons","year":"1987","unstructured":"Parsons, T. (1987). On the consistency of the first-order portion of Frege\u2019s logical system. Notre Dame Journal of Formal Logic, 28(1), 161\u2013168. Reprinted in [21].","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9375_CR68","doi-asserted-by":"crossref","unstructured":"Parsons, T. (2001). The logic of sense and denotation: extensions and applications. In Logic, Meaning and Computation: Essays in Memory of Alonzo Church, volume 305 of Synthese Library, pp. 507\u2013543. Dordrecht: Kluwer.","DOI":"10.1007\/978-94-010-0526-5_25"},{"key":"9375_CR69","unstructured":"Platek, R.A. (1966). Foundations of recursion theory. Unpublished. Dissertation, Stanford University."},{"key":"9375_CR70","unstructured":"Poincar\u00e9, H. (1910). \u00dcber transfinite Zahlen, Teubner, Leipzig\/Berlin."},{"issue":"6","key":"9375_CR71","doi-asserted-by":"crossref","first-page":"1263","DOI":"10.1007\/s11225-013-9532-1","volume":"101","author":"G Priest","year":"2013","unstructured":"Priest, G. (2013). Indefinite extensibility\u2014dialetheic style. Studia Logica, 101 (6), 1263\u20131275.","journal-title":"Studia Logica"},{"issue":"5","key":"9375_CR72","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2017458","volume":"40","author":"WVO Quine","year":"1943","unstructured":"Quine, W.V.O. (1943). Notes on existence and necessity. The Journal of Philosophy, 40(5), 113\u2013127.","journal-title":"The Journal of Philosophy"},{"issue":"4","key":"9375_CR73","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/BF00485423","volume":"12","author":"WV Quine","year":"1960","unstructured":"Quine, W.V. (1960). Carnap and logical truth. Synthese, 12(4), 350\u2013374. Reprinted in [74].","journal-title":"Synthese"},{"key":"9375_CR74","volume-title":"Ways of paradox and other essays","author":"WV Quine","year":"1966","unstructured":"Quine, W.V. (1966). Ways of paradox and other essays. New York: Random House."},{"key":"9375_CR75","volume-title":"Set theory and its logic. Revised edition","author":"WV Quine","year":"1969","unstructured":"Quine, W.V. (1969). Set theory and its logic. Revised edition. Cambridge: Harvard University Press."},{"issue":"12","key":"9375_CR76","first-page":"783","volume":"81","author":"WV Quine","year":"1984","unstructured":"Quine, W.V. (1984). Review of [65]. The Journal of Philosophy, 81(12), 783\u2013794.","journal-title":"The Journal of Philosophy"},{"key":"9375_CR77","unstructured":"Quine, W.V. (1986). Reply to Parsons In L.E. Hahn, & P.A. Schilpp (Eds.), The philosophy of W.V. Quine, volume 18 of Library of the Living Philosophers, pp. 398\u2013403. Open Court, La Salle."},{"key":"9375_CR78","volume-title":"The principles of mathematics","author":"B Russell","year":"1903","unstructured":"Russell, B. (1903). The principles of mathematics. Cambridge: Cambridge University Press."},{"issue":"1","key":"9375_CR79","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1112\/plms\/s2-4.1.29","volume":"s2-4","author":"B Russell","year":"1907","unstructured":"Russell, B. (1907). On some difficulities in the theory of transfinite numbers and order types. Proceedings of the London Mathematical Society, s2-4(1), 29\u201353. Reprinted in [80].","journal-title":"Proceedings of the London Mathematical Society"},{"key":"9375_CR80","volume-title":"Essays in analysis","author":"B Russell","year":"1973","unstructured":"Russell, B. (1973). Essays in analysis. London: George Allen."},{"key":"9375_CR81","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12013-2","volume-title":"Higher recursion theory. Perspectives in Mathematical Logic","author":"GE Sacks","year":"1990","unstructured":"Sacks, G.E. (1990). Higher recursion theory. Perspectives in Mathematical Logic. Berlin: Springer."},{"key":"9375_CR82","doi-asserted-by":"crossref","unstructured":"Schindler, R., & Zeman, M. (2010). Fine structure In M. Foreman, & A. Kanamori (Eds.), Handbook of set theory, vol. 1, pp. 605\u2013656. Berlin: Springer.","DOI":"10.1007\/978-1-4020-5764-9_10"},{"key":"9375_CR83","doi-asserted-by":"crossref","unstructured":"Shapiro, S., & Wright, C. (2006). All things indefinitely extensible In A. Rayo, & G. Uzquiano (Eds.), Absolute Generality, pp. 255\u2013304. Oxford: Clarendon Press.","DOI":"10.1093\/oso\/9780199276424.003.0010"},{"key":"9375_CR84","unstructured":"Shoenfield, J.R. (1961). The problem of predicativity. In Essays on the Foundations of Mathematics, pp. 132\u2013139. Jerusalem: Magnes Press."},{"key":"9375_CR85","unstructured":"Shoenfield, J.R. (1967). Chapter 9: set theory. In Mathematical Logic, pp. 238\u2013315. Reading: Addison-Wesley."},{"key":"9375_CR86","doi-asserted-by":"crossref","unstructured":"Shoenfield, J.R. (1977). Axioms of set theory In J. Barwise (Ed.), Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics. North-Holland.","DOI":"10.1016\/S0049-237X(08)71106-6"},{"key":"9375_CR87","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively enumerable sets and degrees. Perspectives in Mathematical Logic","author":"RI Soare","year":"1987","unstructured":"Soare, R.I. (1987). Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Berlin: Springer."},{"key":"9375_CR88","doi-asserted-by":"crossref","unstructured":"Taschek, W.W. (2010). On sense and reference: a criticial reception In M. Potter, & T. Ricketts (Eds.), The Cambridge companion to Frege, pp. 293\u2013341. Cambridge.","DOI":"10.1017\/CCOL9780521624282.008"},{"issue":"1","key":"9375_CR89","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"RH Thomason","year":"1980","unstructured":"Thomason, R.H. (1980). A model theory for propositional attitudes. Linguistics and Philosophy, 4(1), 47\u201370.","journal-title":"Linguistics and Philosophy"},{"key":"9375_CR90","doi-asserted-by":"crossref","DOI":"10.1515\/9783110849264","volume-title":"The foundations of Frege\u2019s logic","author":"P Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P. (1988). The foundations of Frege\u2019s logic. Berlin: De Gruyter."},{"key":"9375_CR91","volume-title":"Pavel Tich\u00fd\u2019s collected papers in logic and philosophy","author":"P Tich\u00fd","year":"2004","unstructured":"Tich\u00fd, P. (2004). Pavel Tich\u00fd\u2019s collected papers in logic and philosophy. Dunedin: University of Otago Press."},{"key":"9375_CR92","doi-asserted-by":"crossref","first-page":"1679","DOI":"10.1016\/j.apal.2011.12.016","volume":"163","author":"S Walsh","year":"2012","unstructured":"Walsh, S. (2012). Comparing Hume\u2019s Principle, Basic Law V and Peano Arithmetic. Annals of Pure and Applied Logic, 163, 1679\u20131709.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9375_CR93","unstructured":"Walsh, S. (2014). The strength of predicative abstraction. Unpublished. arXiv: 1407.3860 ."},{"key":"9375_CR94","unstructured":"Walsh, S. Fragments of Frege\u2019s Grundgesetze and G\u00f6del\u2019s constructible universe. The Journal of Symbolic Logic. forthcoming. arXiv: 1407.3861 ."},{"issue":"3","key":"9375_CR95","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1023\/A:1005203526185","volume":"121","author":"KF Wehmeier","year":"1999","unstructured":"Wehmeier, K.F. (1999). Consistent fragments of Grundgesetze and the existence of non-logical objects. Synthese, 121(3), 309\u2013328.","journal-title":"Synthese"},{"key":"9375_CR96","doi-asserted-by":"crossref","unstructured":"Wehmeier, K.F. (2004). Russell\u2019s paradox in consistent fragments of Frege\u2019s Grundgesetze der Arithmetik. In One hundred years of Russell\u2019s paradox, volume 6 of de Gruyter Series in Logic and its Applications, pp. 247\u2013257. Berlin: de Gruyter.","DOI":"10.1515\/9783110199680.247"},{"key":"9375_CR97","doi-asserted-by":"crossref","unstructured":"Weyl, H. (1918). Das Kontinuum. Kritische Untersuchungen \u00fcber die Grundlagen der Analysis. Veit, Leipzig.","DOI":"10.1515\/9783112451144"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9375-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-015-9375-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-015-9375-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T16:50:30Z","timestamp":1717951830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-015-9375-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,23]]},"references-count":97,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9375"],"URL":"https:\/\/doi.org\/10.1007\/s10992-015-9375-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,23]]}}}