{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:10Z","timestamp":1740108190944,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Second-order arithmetic and class theory are second-order theories of mathematical subjects of foundational importance, namely, arithmetic and set theory. Despite the similarity in appearance, there turned out to be significant mathematical dissimilarities between them. The present paper studies various principles in class theory, from such a comparative perspective between second-order arithmetic and class theory, and presents a few new dissimilarities between them.\n<\/jats:p>","DOI":"10.1007\/s00153-022-00829-3","type":"journal-article","created":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T16:07:37Z","timestamp":1657382857000},"page":"147-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A few more dissimilarities between second-order arithmetic and set theory"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4830-5861","authenticated-orcid":false,"given":"Kentaro","family":"Fujimoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,9]]},"reference":[{"key":"829_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.apal.2009.01.001","volume":"160","author":"B Afshari","year":"2009","unstructured":"Afshari, B., Rathjen, M.: Reverse mathematics and well-ordering principles: a pilot study. Ann. Pure Appl. Logic 160, 231\u2013237 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"829_CR2","doi-asserted-by":"publisher","first-page":"768","DOI":"10.2307\/2275783","volume":"61","author":"J Avigad","year":"1996","unstructured":"Avigad, J.: On the relationships between $$\\mathit{ATR}_{0}$$ and $${\\widehat{ID}}_{< \\omega }$$. J. Symb. Logic 61(3), 768\u2013779 (1996)","journal-title":"J. Symb. Logic"},{"key":"829_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J Barwise","year":"1975","unstructured":"Barwise, J.: Admissible Sets and Structures. Springer, Berlin (1975)"},{"key":"829_CR4","doi-asserted-by":"publisher","first-page":"108","DOI":"10.2307\/2271519","volume":"36","author":"J Barwise","year":"1971","unstructured":"Barwise, J., Gandy, R., Moschovakis, Y.: The next admissible set. J. Symb. Logic 36, 108\u2013120 (1971)","journal-title":"J. Symb. Logic"},{"key":"829_CR5","doi-asserted-by":"crossref","unstructured":"Blass, A., Dimitriou, I.M., L\u00f6we, B.: Inaccessible cardinals without the axiom of choice. Fundam. Math. 194 (2007)","DOI":"10.4064\/fm194-2-3"},{"key":"829_CR6","volume-title":"Set Theory: An Introduction to Large Cardinals","author":"FR Drake","year":"1974","unstructured":"Drake, F.R.: Set Theory: An Introduction to Large Cardinals. North-Holland, Amsterdam (1974)"},{"key":"829_CR7","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1016\/j.apal.2011.12.006","volume":"163","author":"K Fujimoto","year":"2012","unstructured":"Fujimoto, K.: Classes and truths in set theory. Ann. Pure Appl. Logic 163, 1484\u20131523 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"829_CR8","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1017\/jsl.2017.77","volume":"83","author":"K Fujimoto","year":"2018","unstructured":"Fujimoto, K.: Truths, inductive definitions, and Kripke\u2013Platek systems over set theory. J. Symb. Logic 83, 868\u2013898 (2018)","journal-title":"J. Symb. Logic"},{"key":"829_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., Pudlak, P.: Metamathematics of First-Order Arithmetic. Springer, Berlin (1993)"},{"key":"829_CR10","unstructured":"Hamkins, J.D., Woodin, W.H.: Open class determinacy is preserved by forcing. arXiv preprint arXiv:1806.11180 (2018)"},{"key":"829_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02297652","volume":"22","author":"G J\u00e4ger","year":"1982","unstructured":"J\u00e4ger, G.: Zur beweistheorie der Kripke-Platek-mengenlehre uber den naturlichen zahlen. Arch. Math. Logik Grundlagenforsc. 22, 121\u2013139 (1982)","journal-title":"Arch. Math. Logik Grundlagenforsc."},{"key":"829_CR12","volume-title":"Theories for Admissible Sets: A Unifying Approach to Proof Theory","author":"G J\u00e4ger","year":"1986","unstructured":"J\u00e4ger, G.: Theories for Admissible Sets: A Unifying Approach to Proof Theory. Bibliopolice, Naples (1986)"},{"key":"829_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.apal.2009.01.010","volume":"160","author":"G J\u00e4ger","year":"2009","unstructured":"J\u00e4ger, G.: Full operational set theory with unbounded existential quantification and power set. Ann. Pure Appl. Logic 160, 33\u201352 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"829_CR14","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1007\/s00153-021-00761-y","volume":"60","author":"G J\u00e4ger","year":"2021","unstructured":"J\u00e4ger, G.: Short note: least fixed points versus least closed points. Arch. Math. Logic 60, 831\u2013835 (2021)","journal-title":"Arch. Math. Logic"},{"key":"829_CR15","doi-asserted-by":"crossref","unstructured":"J\u00e4ger, G., Kr\u00e4henb\u00fchl, J.: $$\\Sigma ^{1}_{1}$$ choice in a theory of sets and classes. In: Schindler, R. (ed.). Ways of Proof Theory, pp. 283\u2013314. Ontos Verlag, Frankfurt (2010)","DOI":"10.1515\/9783110324907.283"},{"key":"829_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0168-0072(98)00056-6","volume":"97","author":"G J\u00e4ger","year":"1999","unstructured":"J\u00e4ger, G., Strahm, T.: Bar induction and $$\\omega $$ model reflection. Ann. Pure Appl. Logic 97, 221\u2013230 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"829_CR17","volume-title":"The Higher Infinite","author":"A Kanamori","year":"2003","unstructured":"Kanamori, A.: The Higher Infinite, 2nd edn. Springer, Berlin (2003)","edition":"2"},{"key":"829_CR18","unstructured":"Kr\u00e4henb\u00fchl, J.: On the relationship between choice schemes and iterated class comprehension in set theory. PhD thesis, Universit\u00e4t Bern (2011)"},{"key":"829_CR19","unstructured":"Moschovakis, Y.: Elementary Induction on Abstract Structures. Number\u00a077 in Studies in Logic and the Foundation of Mathematics. North Holland, Amsterdam (1974)"},{"key":"829_CR20","doi-asserted-by":"crossref","unstructured":"Pohlers, W.: Subsystems of set theory and second order number theory. In: Buss, S. (ed.). Handbook of Proof Theory, pp. 209\u2013336. Elsevier, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80019-0"},{"key":"829_CR21","doi-asserted-by":"crossref","unstructured":"Rathjen, M.: Fragments of Kripke\u2013Platek set theory with infinity. In: Aczel, P., Simmons, H., Wainer, S. (ed.). Proof Theory, pp. 252\u2013273. Cambridge University Press, Cambridge (1992)","DOI":"10.1017\/CBO9780511896262.011"},{"key":"829_CR22","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/jsl.2014.28","volume":"79","author":"K Sato","year":"2014","unstructured":"Sato, K.: Relative predicativity and dependent recursion in second-order set theory and higher-order theories. J. Symb. Logic 79, 712\u2013732 (2014)","journal-title":"J. Symb. Logic"},{"key":"829_CR23","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s00153-014-0403-x","volume":"54","author":"K Sato","year":"2015","unstructured":"Sato, K.: Full and hat inductive definitions are equivalent in $$\\mathit{NBG}$$. Arch. Math. Logic 54, 75\u2013112 (2015)","journal-title":"Arch. Math. Logic"},{"key":"829_CR24","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: $$\\Sigma ^{1}_{1}$$ and $$\\Pi ^{1}_{1}$$ transfinite induction. In Van\u00a0Dalen, D., Lascar, D., Smiley, T.J. (eds.). Logic Colloquium \u201980, Studies in Logic and the Foundation of Mathematics, pp. 239\u2013253. North-Holland (1982)","DOI":"10.1016\/S0049-237X(09)70514-2"},{"key":"829_CR25","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511581007"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00829-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00829-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00829-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T13:04:14Z","timestamp":1674047054000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00829-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,9]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["829"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00829-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,7,9]]},"assertion":[{"value":"4 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 February 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}