{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T11:54:41Z","timestamp":1775044481325,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2016\/25891-3"],"award-info":[{"award-number":["2016\/25891-3"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"crossref","award":["2017\/232853-0"],"award-info":[{"award-number":["2017\/232853-0"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001807","name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","doi-asserted-by":"publisher","award":["2019\/12527-0"],"award-info":[{"award-number":["2019\/12527-0"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s10992-021-09642-4","type":"journal-article","created":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:03:47Z","timestamp":1641513827000},"page":"583-602","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Ideal Objects for Set Theory"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6528-1972","authenticated-orcid":false,"given":"Santiago","family":"Jockwich","sequence":"first","affiliation":[]},{"given":"Sourav","family":"Tarafder","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9089-4340","authenticated-orcid":false,"given":"Giorgio","family":"Venturi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,7]]},"reference":[{"issue":"1","key":"9642_CR1","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1017\/S1755020320000271","volume":"14","author":"C Antos","year":"2021","unstructured":"Antos, C., Barton, N., & Friedman, S.D. (2021). Universism and extensions of V. Preprint. The Review of Symbolic Logic, 14(1), 112\u2013154. https:\/\/doi.org\/10.1017\/S1755020320000271.","journal-title":"The Review of Symbolic Logic"},{"issue":"8","key":"9642_CR2","doi-asserted-by":"publisher","first-page":"2463","DOI":"10.1007\/s11229-015-0819-9","volume":"192","author":"C Antos","year":"2015","unstructured":"Antos, C., Friedman, S., Honzik, R., & Ternullo, C. (2015). Multiverse conceptions in set theory. Synthese, 192(8), 2463\u20132488. https:\/\/doi.org\/10.1007\/s11229-015-0819-9.","journal-title":"Synthese"},{"key":"9642_CR3","unstructured":"Bagaria, J. (2004). Natural axioms of set theory and the continuum problem. CRM Preprint 19(591)."},{"issue":"4","key":"9642_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/s10992-019-09530-y","volume":"49","author":"N Barton","year":"2020","unstructured":"Barton, N. (2020). Forcing and the universe of sets: Must we lose insight? Journal of Philosophical Logic, 49(4), 575\u2013612. https:\/\/doi.org\/10.1007\/s10992-019-09530-y.","journal-title":"Journal of Philosophical Logic"},{"key":"9642_CR5","doi-asserted-by":"crossref","unstructured":"Bell, J. (2005). Set theory. Boolean valued models and independence proofs. Oxford Science Pubblications.","DOI":"10.1093\/acprof:oso\/9780198568520.001.0001"},{"key":"9642_CR6","unstructured":"Berto, F. (2007). How to Sell a Contradiction. College Publications."},{"issue":"8","key":"9642_CR7","doi-asserted-by":"publisher","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":"9642_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D Hilbert","year":"1908","unstructured":"Hilbert, D. (1908). \u00dcber das Unendliche. Mathematische Annalen, 95, 161\u2013190.","journal-title":"Mathematische Annalen"},{"key":"9642_CR9","unstructured":"Hilbert, D. (1967). English transl.: On the infinite. In J. van Heijenoort (Ed.) From Frege to G\u00f6del: A source book in mathematical logic, 1879\u20131931 (pp. 367\u2013392). Source Books in the History of the Sciences, Harvard Univ. Press."},{"key":"9642_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/9781108596961","volume-title":"Conceptions of set and the foundations of mathematics","author":"L Incurvati","year":"2020","unstructured":"Incurvati, L. (2020). Conceptions of set and the foundations of mathematics. Cambridge: Cambridge University Press."},{"key":"9642_CR11","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/s11225-020-09915-0","volume":"109","author":"S Jockwich Martinez","year":"2021","unstructured":"Jockwich Martinez, S., & Venturi, G. (2021a). Non-classical models of ZF. Studia Logica, 109, 509\u2013537. https:\/\/doi.org\/10.1007\/s11225-020-09915-0.","journal-title":"Studia Logica"},{"key":"9642_CR12","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10992-020-09576-3","volume":"50","author":"S Jockwich Martinez","year":"2021","unstructured":"Jockwich Martinez, S., & Venturi, G. (2021b). On negation for non-classical set theories. Journal of Philosophical Logic, 50, 549\u2013570. https:\/\/doi.org\/10.1007\/s10992-020-09576-3.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9642_CR13","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1017\/s175502031400046x","volume":"8","author":"B L\u00f6we","year":"2015","unstructured":"L\u00f6we, B., & Tarafder, S. (2015). Generalized algebra-valued models of set theory. Review of Symbolic Logic, 8(1), 192\u2013205. https:\/\/doi.org\/10.1017\/s175502031400046x.","journal-title":"Review of Symbolic Logic"},{"key":"9642_CR14","unstructured":"Maddy, P. (2016). Set-theoretic foundations. In A.E. Caicedo, J. Cummings, P. Koellner, & P.B. Larson (Eds.) Foundations of mathematics. American Mathematical Society."},{"key":"9642_CR15","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001","volume-title":"In contradiction: A study of the transconsistent","author":"G Priest","year":"2006","unstructured":"Priest, G. (2006). In contradiction: A study of the transconsistent. Oxford: Oxford University Press."},{"key":"9642_CR16","doi-asserted-by":"crossref","unstructured":"Reinhardt, W.N. (1974). Remarks on reflection principles, large cardinals, and elementary embeddings. In T. Jech (Ed.) Axiomatic set theory, proc. sympos. pure math., XIII, Part II, pp. 189\u2013206. American Mathematical Society.","DOI":"10.1090\/pspum\/013.2\/0401475"},{"key":"9642_CR17","doi-asserted-by":"crossref","unstructured":"Steel, J.R. (2014). G\u00f6del\u2019s program. In J. Kennedy (Ed.) Interpreting G\u00f6del (pp. 153\u2013179). Cambridge University Press.","DOI":"10.1017\/CBO9780511756306.012"},{"key":"9642_CR18","unstructured":"Sylvan, R. (1980). Exploring meinong\u2019s jungle and beyond: an investigation of noneism and the theory of items. Research School of Social Sciences, Australian National University."},{"key":"9642_CR19","doi-asserted-by":"publisher","unstructured":"Tarafder, S. 2021. Non-classical foundations of set theory. Journal of Symbolic Logic, 1\u201331. https:\/\/doi.org\/10.1017\/jsl.2021.101.","DOI":"10.1017\/jsl.2021.101"},{"key":"9642_CR20","doi-asserted-by":"publisher","unstructured":"Tarafder, S., & Venturi, G. (2021a). Independence proofs in non-classical set theories. Review of Symbolic Logic, Online first (pp. 1\u201332). https:\/\/doi.org\/10.1017\/s1755020321000095.","DOI":"10.1017\/s1755020321000095"},{"key":"9642_CR21","doi-asserted-by":"publisher","unstructured":"Tarafder, S., & Venturi, G. (2021b). ZF between classicality and non-classicality. Studia Logica, 1\u201330. https:\/\/doi.org\/10.1007\/s11225-021-09959-w.","DOI":"10.1007\/s11225-021-09959-w"},{"key":"9642_CR22","doi-asserted-by":"crossref","unstructured":"Venturi, G. (2016). Forcing, multiverse and realism. In F. Boccuni A. Sereni (Eds.) Objectivity, knowledge and proof. FIlMat studies in the philosophy of mathematics (pp. 211\u2013241). Springer.","DOI":"10.1007\/978-3-319-31644-4_12"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-021-09642-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-021-09642-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-021-09642-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T08:31:29Z","timestamp":1653640289000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-021-09642-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,7]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9642"],"URL":"https:\/\/doi.org\/10.1007\/s10992-021-09642-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,7]]},"assertion":[{"value":"20 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}