{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:09Z","timestamp":1740108189628,"version":"3.37.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T00:00:00Z","timestamp":1655856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"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"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s00153-022-00831-9","type":"journal-article","created":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T03:26:31Z","timestamp":1655868391000},"page":"29-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Second order arithmetic as the model companion of set theory"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9089-4340","authenticated-orcid":false,"given":"Giorgio","family":"Venturi","sequence":"first","affiliation":[]},{"given":"Matteo","family":"Viale","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,22]]},"reference":[{"issue":"8","key":"831_CR1","doi-asserted-by":"publisher","first-page":"2463","DOI":"10.1007\/s11229-015-0819-9","volume":"192","author":"Carolin Antos","year":"2015","unstructured":"Antos, Carolin, Friedman, Sy-David., Honzik, Radek, Ternullo, Claudio: Multiverse conceptions in set theory. Synthese 192(8), 2463\u20132488 (2015)","journal-title":"Synthese"},{"unstructured":"Asper\u00f3, David, Viale, Matteo: Category forcings. In preparation, (2019)","key":"831_CR2"},{"unstructured":"Audrito, Giorgio, Carroy, Raph\u00e4el, Steila, Silvia, Viale, Matteo: Iterated forcing, category forcings, generic ultrapowers, generic absoluteness. Book in preparation, (2017)","key":"831_CR3"},{"doi-asserted-by":"crossref","unstructured":"Giorgio Audrito and Matteo Viale. Absoluteness via resurrection. J. Math. Log., 17(2):1750005, 36, 2017","key":"831_CR4","DOI":"10.1142\/S0219061317500052"},{"issue":"4","key":"831_CR5","doi-asserted-by":"publisher","first-page":"158","DOI":"10.26686\/ajl.v17i4.6579","volume":"17","author":"Neil Barton","year":"2020","unstructured":"Barton, Neil, Ternullo, Claudio, Venturi, Giorgio: On forms of justification in set theory. Australas. J. Logic 17(4), 158\u2013200 (2020)","journal-title":"Australas. J. Logic"},{"key":"831_CR6","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568520.001.0001","volume-title":"Set theory: boolean-valued models and independence proofs","author":"JL Bell","year":"2005","unstructured":"Bell, J.L.: Set theory: boolean-valued models and independence proofs. Oxford University Press, Oxford (2005)"},{"issue":"1","key":"831_CR7","first-page":"369","volume":"50","author":"J Hirschfeld","year":"1975","unstructured":"Hirschfeld, J.: The model companion of ZF. Proc. Amer. Math. Soc. 50(1), 369\u2013374 (1975)","journal-title":"Proc. Amer. Math. Soc."},{"key":"831_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064082","volume-title":"Forcing, Arithmetic, Division Rings","author":"J Hirschfeld","year":"1975","unstructured":"Hirschfeld, J., Wheeler, W.H.: Forcing, Arithmetic, Division Rings. Springer, Berlin (1975)"},{"unstructured":"Jech, T.: Set theory. Springer Monographs in Mathematics. Springer, Berlin (2003). (The third millennium edition, revised and expanded)","key":"831_CR9"},{"key":"831_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical descriptive set theory. Graduate Texts in Mathematics","author":"Alexander S Kechris","year":"1995","unstructured":"Kechris, Alexander S.: Classical descriptive set theory. Graduate Texts in Mathematics. Springer-Verlag, New York (1995)"},{"doi-asserted-by":"crossref","unstructured":"Larson, P.B.: Forcing over models of determinacy. In Handbook of set theory. Vols. 1, 2, 3, pp 2121\u20132177. Springer, Dordrecht, (2010)","key":"831_CR11","DOI":"10.1007\/978-1-4020-5764-9_25"},{"unstructured":"Larson, Paul B.: The stationary tower, volume\u00a032 of University Lecture Series. American Mathematical Society, Providence, RI, (2004). Notes on a course by W. Hugh Woodin","key":"831_CR12"},{"doi-asserted-by":"crossref","unstructured":"Macintyre, A.: Model completeness. In J.\u00a0Barwise, editor, Handbook of Mathematical logic, pages 140\u2013180. North Holland, (1977)","key":"831_CR13","DOI":"10.1016\/S0049-237X(08)71100-5"},{"unstructured":"Maddy, Penelope: Set-theoretic foundations. In Andr\u00e9s\u00a0Eduardo Caicedo, James Cummings, Peter Koellner, and Paul\u00a0B. Larson, editors, Foundations of Mathematics. American Mathematical Society, (2016)","key":"831_CR14"},{"unstructured":"Pierobon,Moreno: Saturated structures constructed using forcing and applications. 2019. Unpublished Master Thesis, University of Torino, (2019)","key":"831_CR15"},{"doi-asserted-by":"crossref","unstructured":"Tent, K., Ziegler, M.: A course in model theory. Cambridge University Press, (2012)","key":"831_CR16","DOI":"10.1017\/CBO9781139015417"},{"doi-asserted-by":"crossref","unstructured":"Venturi,Giorgio: Forcing, multiverse and realism. In F.\u00a0Boccuni and A.\u00a0Sereni, editors, Objectivity, Knowledge and Proof. FIlMat Studies in the Philosophy of Mathematics, pp 211\u2013241. Springer, (2016)","key":"831_CR17","DOI":"10.1007\/978-3-319-31644-4_12"},{"key":"831_CR18","first-page":"435","volume":"248","author":"Giorgio Venturi","year":"2019","unstructured":"Venturi, Giorgio: Genericity and arbitrariness. Log. Anal. 248, 435\u2013452 (2019)","journal-title":"Log. Anal."},{"key":"831_CR19","first-page":"587","volume":"108","author":"Giorgio Venturi","year":"2019","unstructured":"Venturi, Giorgio: Infinite forcing and the generic multiverse. Stud. Log. 108, 587\u2013608 (2019)","journal-title":"Stud. Log."},{"issue":"3","key":"831_CR20","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1090\/jams\/844","volume":"29","author":"Matteo Viale","year":"2016","unstructured":"Viale, Matteo: Category forcings, $$MM^{+++}$$, and generic absoluteness for the theory of strong forcing axioms. J. Amer. Math. Soc. 29(3), 675\u2013728 (2016)","journal-title":"J. Amer. Math. Soc."},{"issue":"1\u20132","key":"831_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s00153-015-0466-3","volume":"55","author":"Matteo Viale","year":"2016","unstructured":"Viale, Matteo: Martin\u2019s maximum revisited. Arch. Math. Logic 55(1\u20132), 295\u2013317 (2016)","journal-title":"Arch. Math. Logic"},{"unstructured":"Viale,Matteo: Useful axioms. To appear in a special issue of \u201cIfCoLog Journal of Logics and their Applications\u201d dedicated to the winners of Kurt G\u00f6del fellowships, (2016)","key":"831_CR22"},{"unstructured":"Viale,Matteo: Notes on forcing. Available on author\u2019s webpage, (2017)","key":"831_CR23"},{"unstructured":"Viale,Matteo: Absolute model companionship, forcibility, and the continuum problem, (2021). arXiv:2109.02285","key":"831_CR24"},{"unstructured":"Viale,Matteo, Audrito, Giorgio, Steila, Silvia: A boolean algebraic approach to semiproper iterations. arXiv:1402.1714, (2014)","key":"831_CR25"},{"unstructured":"Viale, Matteo, Parente, Francesco: Universality properties of forcing. In preparation, (2019)","key":"831_CR26"},{"doi-asserted-by":"crossref","unstructured":"Viale, Matteo, Venturi, Giorgio: What model companionship can say about the continuum problem. arXiv:2204.13756, (2022)","key":"831_CR27","DOI":"10.1017\/S1755020323000102"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00831-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00831-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00831-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,23]],"date-time":"2023-11-23T14:33:25Z","timestamp":1700750005000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00831-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,22]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["831"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00831-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,6,22]]},"assertion":[{"value":"25 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}