{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T22:10:12Z","timestamp":1717971012075},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,7,8]],"date-time":"2015-07-08T00:00:00Z","timestamp":1436313600000},"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":[[2016,6]]},"DOI":"10.1007\/s11229-015-0818-x","type":"journal-article","created":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T02:50:26Z","timestamp":1436237426000},"page":"1875-1907","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Sets and supersets"],"prefix":"10.1007","volume":"193","author":[{"given":"Toby","family":"Meadows","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,8]]},"reference":[{"key":"818_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of truth","author":"JC Beall","year":"2009","unstructured":"Beall, J. C. (2009). Spandrels of truth. Oxford: Oxford University Press."},{"key":"818_CR2","unstructured":"Blass, A. (2011). Are proper classes objects? http:\/\/mathoverflow.net\/questions\/71765\/are-proper-classes-objects\/71773#71773 . Accessed 1 Aug 2011."},{"key":"818_CR3","unstructured":"Blass, A. (2013). The kunen inconsistency and definable classes. http:\/\/mathoverflow.net\/questions\/129498\/the-kunen-inconsistency-and-definable-classes ."},{"key":"818_CR4","doi-asserted-by":"crossref","first-page":"430","DOI":"10.2307\/2026308","volume":"81","author":"G Boolos","year":"1984","unstructured":"Boolos, G. (1984). To be is to be the value of a variable (or to be some values of some variables). The Journal of Philosophy, 81, 430\u2013450.","journal-title":"The Journal of Philosophy"},{"key":"818_CR5","unstructured":"Boolos, G. (1998a). Must we believe in set theory? In R. C. Jeffrey (Ed.), Logic, logic, and logic (pp. 120\u2013132). Cambridge, MA: Harvard University Press."},{"key":"818_CR6","unstructured":"Boolos, G. (1998b). Reply to Charles Parsons\u2019 \u2018Sets and classes\u2019. In Logic, logic, and logic (pp. 120\u2013132). Cambridge, MA: Harvard University Press."},{"key":"818_CR7","unstructured":"Bourbaki, N. (1972). Univers. In M. Artin, A. Grothendieck, & J.-L. Verdier (Eds.), S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9brique du Bois Marie - 1963-64 - Th\u00e9orie des topos et cohomologie \u00e9tale des sch\u00e9mas - (SGA 4) (Vol. 1). Lecture notes in mathematics 269. Berlin: Springer."},{"key":"818_CR8","volume-title":"Model theory","author":"CC Chang","year":"1973","unstructured":"Chang, C. C., & Keisler, H. J. (1973). Model theory. Amsterdam: North Holland."},{"issue":"2","key":"818_CR9","first-page":"55","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5(2), 55\u201368.","journal-title":"Journal of Symbolic Logic"},{"key":"818_CR10","volume-title":"Set theory and the continuum hypothesis","author":"PJ Cohen","year":"1966","unstructured":"Cohen, P. J. (1966). Set theory and the continuum hypothesis. New York: W. A. Benjamin Inc."},{"key":"818_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/oso\/9780199233915.003.0002","volume-title":"Revenge of the liar: New essays on the paradox","author":"RT Cook","year":"2007","unstructured":"Cook, R. T. (2007). Embracing revenge: On the indefinite extendibility of language. In J. C. Beall (Ed.), Revenge of the liar: New essays on the paradox (p. 31). Oxford: Oxford University Press."},{"key":"818_CR12","volume-title":"Set theory: An introduction to large cardinals","author":"FR Drake","year":"1974","unstructured":"Drake, F. R. (1974). Set theory: An introduction to large cardinals. Amsterdam: North-Holland."},{"key":"818_CR13","volume-title":"The seas of language","author":"MAE Dummett","year":"1993","unstructured":"Dummett, M. A. E. (1993). The seas of language (Vol. 58). Oxford: Oxford University Press."},{"key":"818_CR14","doi-asserted-by":"crossref","unstructured":"Feferman, S., & Kreisel, G. (1969). Set-theoretical foundations of category theory. Reports of the midwest category seminar III (pp. 201\u2013247), vol. 106. Lecture Notes in Mathematics. Berlin Heidelberg: Springer. ISBN 978-3-540-04625-7 doi: 10.1007\/BFb0059148 .","DOI":"10.1007\/BFb0059148"},{"key":"818_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving truth from paradox","author":"H Field","year":"2008","unstructured":"Field, H. (2008). Saving truth from paradox. Oxford: OUP."},{"key":"818_CR16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1093\/oso\/9780199285891.003.0004","volume":"1","author":"K Fine","year":"2005","unstructured":"Fine, K. (2005). Our knowledge of mathematical objects. Oxford studies in epistemology, 1, 89.","journal-title":"Oxford studies in epistemology"},{"issue":"1","key":"818_CR17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1017\/S1755020308080064","volume":"1","author":"T Forster","year":"2008","unstructured":"Forster, T. (2008). The iterative conception of set. Review of Symbolic Logic, 1(1), 97\u2013110.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"818_CR18","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1023\/B:LOGI.0000019227.09236.f5","volume":"33","author":"M Glanzberg","year":"2004","unstructured":"Glanzberg, M. (2004). A contextual-hierarchical approach to truth and the liar paradox. Journal of Philosophical Logic, 33(1), 27\u201388.","journal-title":"Journal of Philosophical Logic"},{"key":"818_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/oso\/9780199276424.003.0003","volume-title":"Absolute generality","author":"M Glanzberg","year":"2006","unstructured":"Glanzberg, M. (2006). Context and unrestricted quantification. In A. Rayo & G. Uzquiano (Eds.), Absolute generality (pp. 45\u201374). Oxford: Oxford University Press."},{"key":"818_CR20","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF01135378","volume":"43","author":"V Halbach","year":"1995","unstructured":"Halbach, V. (1995). Tarski hierarchies. Erkenntnis, 43, 339\u2013367.","journal-title":"Erkenntnis"},{"key":"818_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic theories of truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic theories of truth. London: Cambridge University Press."},{"key":"818_CR22","unstructured":"Halmos, P. R. (1960). Naive set theory. Undergraduate texts in mathematics. Heidelberg: Springer."},{"issue":"2","key":"818_CR23","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1080\/00048409312345142","volume":"71","author":"A Hazen","year":"1993","unstructured":"Hazen, A. (1993). Against pluralism. Australasian Journal of Philosophy, 71(2), 132\u2013134.","journal-title":"Australasian Journal of Philosophy"},{"key":"818_CR24","volume-title":"Mathematics without numbers: Towards a modal-structural interpretation","author":"G Hellman","year":"1989","unstructured":"Hellman, G. (1989). Mathematics without numbers: Towards a modal-structural interpretation. Oxford: Oxford University Press."},{"key":"818_CR25","volume-title":"Set theory","author":"T Jech","year":"2003","unstructured":"Jech, T. (2003). Set theory. Heidelberg: Springer."},{"key":"818_CR26","volume-title":"The higher infinite: Large cardinals in set theory from their beginnings","author":"A Kanamori","year":"2003","unstructured":"Kanamori, A. (2003). The higher infinite: Large cardinals in set theory from their beginnings. Berlin: Springer."},{"key":"818_CR27","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"818_CR28","volume-title":"Set theory: an introduction to independence proofs","author":"K Kunen","year":"2006","unstructured":"Kunen, K. (2006). Set theory: an introduction to independence proofs. Sydney: Elsevier."},{"key":"818_CR29","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/BFb0080769","volume-title":"Category theory, homology theory and their applications II","author":"FW Lawvere","year":"1969","unstructured":"Lawvere, F. W. (1969). Diagonal arguments and cartesian closed categories. In P. Hilton (Ed.), Category theory, homology theory and their applications II (pp. 134\u2013145). Berlin: Springer."},{"key":"818_CR30","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10992-004-3758-3","volume":"34","author":"H Leitgeb","year":"2005","unstructured":"Leitgeb, H. (2005). What truth depends on. The Journal of Philosophical Logic, 34, 155\u2013192.","journal-title":"The Journal of Philosophical Logic"},{"issue":"2","key":"818_CR31","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1111\/j.1747-9991.2007.00070.x","volume":"2","author":"H Leitgeb","year":"2007","unstructured":"Leitgeb, H. (2007). What truth should be like (but cannot be). Philosophical Compass, 2(2), 276\u2013290.","journal-title":"Philosophical Compass"},{"issue":"3","key":"818_CR32","doi-asserted-by":"crossref","first-page":"144","DOI":"10.5840\/jphil2010107311","volume":"107","author":"\u00d8 Linnebo","year":"2010","unstructured":"Linnebo, \u00d8. (2010). Pluralities and sets. Journal of Philosophy, 107(3), 144\u2013164.","journal-title":"Journal of Philosophy"},{"issue":"1pt1","key":"818_CR33","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-9264.2012.00325.x","volume":"112","author":"\u00d8 Linnebo","year":"2012","unstructured":"Linnebo, \u00d8. (2012a). Reference by abstraction. Proceedings of the Aristotelian Society, 112(1pt1), 45\u201371.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"818_CR34","unstructured":"Linnebo, \u00d8. (2012b). Grounded properties. Workshop on groundedness in semantic and beyond. Munich Center for Mathematical Philosophy, Munich, October 2012."},{"issue":"1","key":"818_CR35","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1010600724850","volume":"20","author":"DA Martin","year":"2001","unstructured":"Martin, D. A. (2001). Multiple universes of sets and indeterminate truth values. Topoi, 20(1), 5\u201316.","journal-title":"Topoi"},{"issue":"1","key":"818_CR36","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1090\/S0894-0347-1989-0955605-X","volume":"2","author":"DA Martin","year":"1989","unstructured":"Martin, D. A., & Steel, J. R. (1989). A proof of projective determinacy. Journal of the American Mathematical Society, 2(1), 71\u2013125.","journal-title":"Journal of the American Mathematical Society"},{"issue":"1","key":"818_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/bjps\/28.1.1","volume":"28","author":"J Mayberry","year":"1977","unstructured":"Mayberry, J. (1977). On the consistency problem for set theory: An essay on the cantorian foundations of classical mathematics (i). British Journal for the Philosophy of Science, 28(1), 1\u201334.","journal-title":"British Journal for the Philosophy of Science"},{"issue":"3","key":"818_CR38","doi-asserted-by":"crossref","first-page":"359","DOI":"10.2178\/bsl\/1286284558","volume":"16","author":"C McLarty","year":"2010","unstructured":"McLarty, C. (2010). What does it take to prove Fermat\u2019s last theorem? Grothendieck and the logic of number theory. Bulletin of Symbolic Logic, 16(3), 359\u2013377. doi: 10.2178\/bsl\/1286284558 .","journal-title":"Bulletin of Symbolic Logic"},{"key":"818_CR39","volume-title":"Descriptive set theory","author":"YN Moschovakis","year":"1980","unstructured":"Moschovakis, Y. N. (1980). Descriptive set theory. Amsterdam: North Holland."},{"key":"818_CR40","doi-asserted-by":"crossref","DOI":"10.1515\/9781400858927","volume-title":"Predicative arithmetic","author":"E Nelson","year":"1986","unstructured":"Nelson, E. (1986). Predicative arithmetic. Princeton, NJ: Princeton University Press."},{"key":"818_CR41","volume-title":"Mathematics in philosophy: Selected essays","author":"C Parsons","year":"1983","unstructured":"Parsons, C. (1983). Mathematics in philosophy: Selected essays. New York: Cornell University Press."},{"key":"818_CR42","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8, 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"issue":"409","key":"818_CR43","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1093\/mind\/103.409.25","volume":"103","author":"G Priest","year":"1994","unstructured":"Priest, G. (1994). The structure of the paradoxes of self-reference. Mind, 103(409), 25\u201334.","journal-title":"Mind"},{"key":"818_CR44","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199254057.001.0001","volume-title":"Beyond the limits of thought","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Beyond the limits of thought. Oxford: Oxford University Press."},{"key":"818_CR45","doi-asserted-by":"crossref","unstructured":"Reinhardt, W. N. (1974). Set existence principles of Shoenfield, Ackermann and Powell. Fundamenta Mathematicae, 84(1), 5\u201334.","DOI":"10.4064\/fm-84-1-5-34"},{"issue":"2","key":"818_CR46","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2026993","volume":"85","author":"M Resnik","year":"1988","unstructured":"Resnik, M. (1988). Second-order logic still wild. The Journal of Philosophy, 85(2), 75\u201387.","journal-title":"The Journal of Philosophy"},{"issue":"3","key":"818_CR47","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1017\/S1755020310000067","volume":"3","author":"P Schlenker","year":"2010","unstructured":"Schlenker, P. (2010). Super liars. Review of Symbolic Logic, 3(3), 374\u2013414.","journal-title":"Review of Symbolic Logic"},{"key":"818_CR48","volume-title":"Foundations without foundationalism: A case for second order logic","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S. (1991). Foundations without foundationalism: A case for second order logic. Oxford: OUP."},{"key":"818_CR49","volume-title":"Absolute generality","author":"S Shapiro","year":"2007","unstructured":"Shapiro, S., & Wright, C. (2007). All things indefinitely extensible. In A. Rayo & G. Uzquiano (Eds.), Absolute generality. London: Oxford University Press."},{"issue":"5","key":"818_CR50","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1007\/s10992-012-9245-3","volume":"42","author":"JP Studd","year":"2012","unstructured":"Studd, J. P. (2012). The iterative conception of set: A (bi-)modal axiomatisation. Journal of Philosophical Logic, 42(5), 697\u2013725.","journal-title":"Journal of Philosophical Logic"},{"key":"818_CR51","volume-title":"Logic, semantics, metamathematics: Papers from 1923 to 1938","author":"A Tarski","year":"1956","unstructured":"Tarski, A. (1956). The concept of truth in formalized languages. In J. Corcoran (Ed.), Logic, semantics, metamathematics: Papers from 1923 to 1938. Oxford: Clarendon Press."},{"issue":"1","key":"818_CR52","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1215\/00294527-2835056","volume":"56","author":"G Uzquiano","year":"2015","unstructured":"Uzquiano, G. (2015). Varieties of indefinite extensibility. Notre Dame Journal of Formal Logic, 56(1), 147\u2013166.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"818_CR53","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1090\/S0002-9947-1952-0049136-2","volume":"73","author":"H Wang","year":"1952","unstructured":"Wang, H. (1952). Truth definitions and consistency proofs. Transactions of the American Mathematical Society, 73(2), 243\u2013275.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"818_CR54","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1017\/S1755020309990281","volume":"3","author":"Z Weber","year":"2010","unstructured":"Weber, Z. (2010a). Transfinite numbers in paraconsistent set theory. Review of Symbolic Logic, 3(1), 71\u201392.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"818_CR55","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/s11225-010-9225-y","volume":"94","author":"Z Weber","year":"2010","unstructured":"Weber, Z. (2010b). Extensionality and restriction in naive set theory. Studia Logica, 94(1), 87\u2013104.","journal-title":"Studia Logica"},{"key":"818_CR56","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5840\/gps19985512","volume":"55","author":"T Williamson","year":"1998","unstructured":"Williamson, T. (1998). Indefinite extensibility. Grazer Philosophische Studien, 55, 1\u201324.","journal-title":"Grazer Philosophische Studien"},{"issue":"1","key":"818_CR57","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1111\/j.1520-8583.2003.00017.x","volume":"17","author":"T Williamson","year":"2003","unstructured":"Williamson, T. (2003). Everything. Philosophical Perspectives, 17(1), 415\u20138211.","journal-title":"Philosophical Perspectives"},{"key":"818_CR58","volume-title":"From Kant to Hilbert: A source book in the foundations of mathematics","author":"E Zermelo","year":"1976","unstructured":"Zermelo, E. (1976). On boundary numbers and domains of sets: New investigations in the foundations of set theory. In W. B. Ewald (Ed.), From Kant to Hilbert: A source book in the foundations of mathematics. New York: Oxford University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0818-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0818-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0818-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T21:48:35Z","timestamp":1717969715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0818-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,8]]},"references-count":58,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["818"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0818-x","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,8]]}}}