{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:28Z","timestamp":1706649028023},"reference-count":27,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,7,1]]},"DOI":"10.1215\/00294527-2009-009","type":"journal-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T14:07:39Z","timestamp":1257862059000},"source":"Crossref","is-referenced-by-count":10,"title":["Finitary Set Theory"],"prefix":"10.1215","volume":"50","author":[{"given":"Laurence","family":"Kirby","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Avigad, J., \"Saturated models of universal theories\", <i>Annals of Pure and Applied Logic<\/i>, vol. 118 (2002), pp. 219--34.","DOI":"10.1016\/S0168-0072(02)00030-1"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Ferreira, F., \"A simple proof of Parsons' theorem\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 46 (2005), pp. 83--91.","DOI":"10.1305\/ndjfl\/1107220675"},{"key":"4","unstructured":"[4] Forster, T., <i>Logic, Induction and Sets<\/i>, vol. 56 of <i>London Mathematical Society Student Texts<\/i>, Cambridge University Press, Cambridge, 2003."},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Garcia, N., \"Operating on the universe\", <i>Archive for Mathematical Logic<\/i>, vol. 27 (1988), pp. 61--68.","DOI":"10.1007\/BF01625835"},{"key":"6","unstructured":"[6] Givant, S., and A. Tarski, \"Peano arithmetic and the Zermelo-like theory of sets with finite ranks\", <i>Notices of the American Mathematical Society<\/i>, vol. 77T-E51 (1977), pp. A--437."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Jensen, R. B., and C. Karp, \"Primitive recursive set functions\", pp. 143--76 in <i>Axiomatic Set Theory (Proceedings of the Symposia in Pure Mathematics, Vol. XIII<\/i>, Part I, University of California, Los Angeles, 1967), American Mathematical Society, Providence, 1971.","DOI":"10.1090\/pspum\/013.1\/0281602"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Kaye, R., and T. L. Wong, \"On interpretations of arithmetic and set theory\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 48 (2007), pp. 497--510.","DOI":"10.1305\/ndjfl\/1193667707"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Kirby, L., \"Addition and multiplication of sets\", <i>Mathematical Logic Quarterly<\/i>, vol. 53 (2007), pp. 52--65.","DOI":"10.1002\/malq.200610026"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Kirby, L., \"A hierarchy of hereditarily finite sets\", <i>Archive for Mathematical Logic<\/i>, vol. 47 (2008), pp. 143--57.","DOI":"10.1007\/s00153-008-0073-7"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Lavine, S., \"Finite mathematics\", <i>Synthese<\/i>, vol. 103 (1995), pp. 389--420.","DOI":"10.1007\/BF01089734"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Mahn, F.-K., \"Zu den primitiv-rekursiven Funktionen \u00fcber einem Bereich endlicher Mengen\", <i>Archiv f\u00fcr mathematische Logik und Grundlagenforschung<\/i>, vol. 10 (1967), pp. 30--33.","DOI":"10.1007\/BF01977295"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Montagna, F., and A. Mancini, \"A minimal predicative set theory\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 35 (1994), pp. 186--203.","DOI":"10.1305\/ndjfl\/1094061860"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Paris, J. B., and L. A. S. Kirby, \"$\\Sigma \\sbn$\"-collection schemas in arithmetic\", pp. 199--209 in <i>Logic Colloquium '77 (Proceedings of the Conference, Wroc\u0142aw, 1977)<\/i>, vol. 96 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1978.","DOI":"10.1016\/S0049-237X(08)72003-2"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Parsons, C., \"On a number theoretic choice schema and its relation to induction\", pp. 459--73 in <i>Intuitionism and Proof Theory (Proceedings of the Conference, Buffalo, 1968)<\/i>, North-Holland, Amsterdam, 1970.","DOI":"10.1016\/S0049-237X(08)70771-7"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Parsons, C., \"On $n$\"-quantifier induction, <i>The Journal of Symbolic Logic<\/i>, vol. 37 (1972), pp. 466--82.","DOI":"10.2307\/2272731"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Previale, F., \"Induction and foundation in the theory of hereditarily finite sets\", <i>Archive for Mathematical Logic<\/i>, vol. 33 (1994), pp. 213--41.","DOI":"10.1007\/BF01203033"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] R\u00f6dding, D., \"Primitiv-rekursive Funktionen \u00fcber einem Bereich endlicher Mengen\", <i>Archiv f\u00fcr mathematische Logik und Grundlagenforschung<\/i>, vol. 10 (1967), pp. 13--29.","DOI":"10.1007\/BF01977294"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] \u015awierczkowski, S., \"Finite sets and G\u00f6del's incompleteness theorems\", <i>Dissertationes Mathematicae (Rozprawy Matematyczne)<\/i>, vol. 422 (2003), p. 58.","DOI":"10.4064\/dm422-0-1"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Tait, W. W., \"Finitism\", <i>Journal of Philosophy<\/i>, vol. 78 (1981), pp. 524--46.","DOI":"10.2307\/2026089"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Tarski, A., \"Sur les ensembles finis\", <i>Fundamenta Mathematicae<\/i>, vol. 6 (1924), pp. 45--95.","DOI":"10.4064\/fm-6-1-45-95"},{"key":"22","unstructured":"[22] Tarski, A., <i>The notion of rank in axiomatic set theory and some of its applications<\/i>, edited by S. R. Givant and R. N. McKenzie, Contemporary Mathematicians. Birkh\u00e4user Verlag, Basel, 1986. Originally published in Bulletin of the American Mathematical Society, vol. 61 (1955), Abstract 628, p. 443."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Tarski, A., and S. Givant, <i>A Formalization of Set Theory without Variables<\/i>, vol. 41 of <i>American Mathematical Society Colloquium Publications<\/i>, American Mathematical Society, Providence, 1987.","DOI":"10.1090\/coll\/041"},{"key":"24","unstructured":"[24] von Neumann, J., \"An axiomatization of set theory\", pp. 393--413 in <i>From Frege to G\u00f6del. A Source Book in Mathematical Logic, 1879--1931<\/i>, edited by J. van Heijenoort, Harvard University Press, Cambridge, 1967. Translation of ``Eine axiomatisierung der Mengenlehre,'' <i>Journal f\u00fcr die reine und angewandte Mathematik<\/i>, vol. 154 (1925), pp. 219--40."},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Wang, H., \"Between number theory and set theory\", <i>Mathematische Annalen<\/i>, vol. 126 (1953), pp. 385--409. Reprinted in <i>Logic, Computers, and Sets,<\/i> Chelsea Publishing Co., New York, 1970, pp. 478--506.","DOI":"10.1007\/BF01343173"},{"key":"26","unstructured":"[26] Whitehead, A. N., and B. Russell, <i>Principia Mathematica<\/i>, 2d edition, Cambridge University Press, Cambridge, 1963."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Zermelo, E., \"Sur les ensembles finis et le principe de l'induction compl\u00e8te\", <i>Acta Mathematica<\/i>, vol. 32 (1909), pp. 185--93.","DOI":"10.1007\/BF02403215"},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Ackermann, W., \"Die Widerspruchsfreiheit der allgemeinen Mengenlehre\", <i>Mathematische Annalen<\/i>, vol. 114 (1937), pp. 305--15.","DOI":"10.1007\/BF01594179"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:18Z","timestamp":1706648238000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-3\/Finitary-Set-Theory\/10.1215\/00294527-2009-009.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,1]]},"references-count":27,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2009,7,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-009","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,7,1]]}}}