{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T18:42:52Z","timestamp":1699900972230},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,5,31]],"date-time":"2008-05-31T00:00:00Z","timestamp":1212192000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1007\/s00153-008-0073-7","type":"journal-article","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:27:39Z","timestamp":1212150459000},"page":"143-157","source":"Crossref","is-referenced-by-count":13,"title":["A hierarchy of hereditarily finite sets"],"prefix":"10.1007","volume":"47","author":[{"given":"Laurence","family":"Kirby","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,31]]},"reference":[{"key":"73_CR1","first-page":"A-437","volume":"77T-E51","author":"S. Givant","year":"1977","unstructured":"Givant S., Tarski A.: Peano arithmetic and the Zermelo-like theory of sets with finite ranks. Not. Am. Math. Soc. 77T-E51, A-437 (1977)","journal-title":"Not. Am. Math. Soc."},{"issue":"1","key":"73_CR2","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1002\/malq.200610026","volume":"53","author":"L. Kirby","year":"2007","unstructured":"Kirby L.: Addition and multiplication of sets. Math. Log. Q. 53(1), 52\u201365 (2007)","journal-title":"Math. Log. Q."},{"key":"73_CR3","unstructured":"Kirby, L.: Finitary set theory. Notre Dame J. Formal Log. (to appear)"},{"issue":"2","key":"73_CR4","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2695026","volume":"66","author":"A.R.D. Mathias","year":"2001","unstructured":"Mathias A.R.D.: Slim models of Zermelo set theory. J. Symb. Log. 66(2), 487\u2013496 (2001)","journal-title":"J. Symb. Log."},{"key":"73_CR5","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF01203033","volume":"33","author":"F. Previale","year":"1994","unstructured":"Previale F.: Induction and foundation in the theory of the hereditarily finite sets. Arch. Math. Log. 33, 213\u2013241 (1994)","journal-title":"Arch. Math. Log."},{"issue":"3","key":"73_CR6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2307\/2266389","volume":"16","author":"J.C. Shepherdson","year":"1951","unstructured":"Shepherdson J.C.: Inner models for set theory\u2014Part I. J. Symb. Log. 16(3), 161\u2013190 (1951)","journal-title":"J. Symb. Log."},{"issue":"9","key":"73_CR7","doi-asserted-by":"crossref","first-page":"524","DOI":"10.2307\/2026089","volume":"78","author":"W.W. Tait","year":"1981","unstructured":"Tait W.W.: Finitism. J. Philos. 78(9), 524\u2013546 (1981)","journal-title":"J. Philos."},{"key":"73_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.4064\/fm-6-1-45-95","volume":"6","author":"A. Tarski","year":"1924","unstructured":"Tarski A.: Sur les ensembles finis. Fundam. Math. 6, 45\u201395 (1924)","journal-title":"Fundam. Math."},{"key":"73_CR9","volume-title":"A New Kind of Science","author":"S. Wolfram","year":"2002","unstructured":"Wolfram S.: A New Kind of Science. Wolfram Media, Champaign (2002)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0073-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0073-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0073-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:42Z","timestamp":1558640202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0073-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,31]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["73"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0073-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,31]]}}}