{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T21:30:38Z","timestamp":1695850238707},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007552","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T12:49:28Z","timestamp":1123764568000},"page":"21-31","source":"Crossref","is-referenced-by-count":1,"title":["Majorizing provably recursive functions in fragments of PA"],"prefix":"10.1007","volume":"25","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007552_CR1","doi-asserted-by":"crossref","unstructured":"Jensen, R., Karp, C.: Primitive recursive set functions. In: Scott, D. (ed.): Axiomatic set theory. I. Proc. Symp. Pure Mathematics, Vol. XIII, pp. 143\u2013176. Providence, RI 1970.","DOI":"10.1090\/pspum\/013.1\/0281602"},{"key":"BF02007552_CR2","first-page":"459","volume-title":"Intuitionism and proof theory","author":"C. Parsons","year":"1970","unstructured":"Parsons, C.: On a number theoretic choice schema and its relation to induction. In: Kino, A., Vesley, R. (eds.): Intuitionism and proof theory, pp. 459\u2013473. Amsterdam: North-Holland 1970."},{"key":"BF02007552_CR3","first-page":"134","volume":"20","author":"G. Minc","year":"1971","unstructured":"Minc, G.: Exact estimates of the provability of transfinite induction in the initial segments of arithmetic. Zap. Nauch. Semin. Leningr. Otd. mat.20, 134\u2013144 (1971).","journal-title":"Zap. Nauch. Semin. Leningr. Otd. mat."},{"key":"BF02007552_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1002\/malq.19710170113","volume":"17","author":"H. Schwichtenberg","year":"1971","unstructured":"Schwichtenberg, H.: Eine Klassifikation der \u03b50-rekursiven Funktionen. Z. Math. Logik und Grundl. Math.17, 61\u201374 (1971).","journal-title":"Z. Math. Logik und Grundl. Math."},{"key":"BF02007552_CR5","doi-asserted-by":"crossref","first-page":"466","DOI":"10.2307\/2272731","volume":"37","author":"C. Parsons","year":"1972","unstructured":"Parsons, C.: Onn-quantifier induction. J. Symb. Logic37, 466\u2013482 (1972).","journal-title":"J. Symb. Logic"},{"key":"BF02007552_CR6","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2272973","volume":"37","author":"S. Wainer","year":"1972","unstructured":"Wainer, S.: Ordinal recursion and a refinement of the extended Grzegorczyk hierarchy. J. Symb. Logic37, 281\u2013292 (1972).","journal-title":"J. Symb. Logic"},{"key":"BF02007552_CR7","volume-title":"Proof theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof theory. Amsterdam: North-Holland 1975."},{"key":"BF02007552_CR8","first-page":"67","volume":"49","author":"G. Minc","year":"1975","unstructured":"Minc, G.: Finite investigations of infinite derivations. Zap. Nauch. Semin. Leningr. Otd. Mat.49, 67\u2013122 (1975).","journal-title":"Zap. Nauch. Semin. Leningr. Otd. Mat."},{"key":"BF02007552_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof theory","author":"K. Sch\u00fctte","year":"1977","unstructured":"Sch\u00fctte, K.: Proof theory. Berlin, Heidelberg, New York: Springer 1977."},{"key":"BF02007552_CR10","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/S0049-237X(08)71124-8","volume-title":"Handbook of mathematical logic","author":"H. Schwichtenberg","year":"1977","unstructured":"Schwichtenberg, H.: Some applications of cut elimination. In: Barwise, J. (ed.): Handbook of mathematical logic, pp. 867\u2013895. Amsterdam: North-Holland 1977."},{"key":"BF02007552_CR11","unstructured":"Girard, J.Y.: A survey ofgP1\/2-logic, (Hannover Congress) (to appear)."},{"key":"BF02007552_CR12","unstructured":"Buchholz, W.: Ordinal analysis of G\u00f6del'sT, unpublished notes, M\u00fcnchen, pp. 1\u20136."},{"key":"BF02007552_CR13","doi-asserted-by":"crossref","first-page":"721","DOI":"10.2307\/2273094","volume":"47","author":"U. Schmerl","year":"1982","unstructured":"Schmerl, U.: Iterated reflection principles and the \u03c9-rule. J. Symb. Logic47, 721\u2013733 (1982).","journal-title":"J. Symb. Logic"},{"key":"BF02007552_CR14","unstructured":"Sieg, W.: Fragments of arithmetic, pp. 1\u201359 (to appear)."},{"key":"BF02007552_CR15","unstructured":"Cantini, A.: On weak theories of sets and classes which are based on strict \u03a0 1 1 -reflection. Z. Math. Logik und Grundl. Math. (to appear)."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007552.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007552\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T21:37:17Z","timestamp":1586381837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007552"],"URL":"https:\/\/doi.org\/10.1007\/bf02007552","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}