{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:10:02Z","timestamp":1752149402855,"version":"3.41.2"},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1023\/a:1004377219147","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T13:19:40Z","timestamp":1040476780000},"page":"165-174","source":"Crossref","is-referenced-by-count":2,"title":["A Note on Finiteness in the Predicative Foundations of Arithmetic"],"prefix":"10.1007","volume":"28","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"192803_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01052728","volume":"24","author":"S. Feferman","year":"1995","unstructured":"Feferman, S. and Hellman, G.: Predicative foundations of arithmetic, J. Philos. Logic\n24(1) (1995), 1\u201317.","journal-title":"J. Philos. Logic"},{"key":"192803_CR2","volume-title":"Between Logic and Intuition: Essays in Honor of Charles Parsons","author":"S. Feferman","year":"1998","unstructured":"Feferman, S. and Hellman, G.: Challenges to predicative foundations of arithmetic, in G. Sher and R. Tieszen (eds), Between Logic and Intuition: Essays in Honor of Charles Parsons, Cambridge University Press, Cambridge, 1998."},{"key":"192803_CR3","unstructured":"Garcia, N.: New Foundations for Recursion Theory, PhD Thesis, Oxford University, Hilary Term, 1980."},{"key":"192803_CR4","unstructured":"Parsons, C.: The impredicativity of induction, in M. Detlefsen (ed.), Proof, Logic and Formalization, Routledge, 1992, pp. 139\u2013161. Revised and expanded version of a 1983 paper."},{"key":"192803_CR5","first-page":"433","volume-title":"Proof Theory","author":"S. Simpson","year":"1987","unstructured":"Simpson, S.: Subsystems of Z\n2 and reverse mathematics, in G. Takeuti (ed.), Proof Theory, North-Holland, Amsterdam, 1987, pp. 433\u2013446."},{"key":"192803_CR6","first-page":"67","volume-title":"Alfred Tarski \u2013 Collected Works","author":"A. Tarski","year":"1986","unstructured":"Tarski, A.: Sur les ensembles finis, in S. Givant and R. McKenzie (eds), Alfred Tarski \u2013 Collected Works (Vol. 1), Birkh\u00e4user, Basel 1986, pp. 67\u2013117. First published in 1924."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004377219147.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004377219147\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1004377219147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004377219147.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:41:16Z","timestamp":1752147676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004377219147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["192803"],"URL":"https:\/\/doi.org\/10.1023\/a:1004377219147","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}