{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:53:11Z","timestamp":1648860791000},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"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":[[1984,12]]},"DOI":"10.1007\/bf02007139","type":"journal-article","created":{"date-parts":[[2005,8,4]],"date-time":"2005-08-04T22:26:22Z","timestamp":1123194382000},"page":"23-48","source":"Crossref","is-referenced-by-count":0,"title":["Pa-Beweisbare \u2200\u2203-Formeln"],"prefix":"10.1007","volume":"24","author":[{"given":"Werner","family":"Mellis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007139_CR1","volume-title":"The collected papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen, G.: Neue Fassung des Widerspruchsfreiheitsbeweises f\u00fcr die reine Zahlentheorie. In: Szabo, M.E. (Hrsg.): The collected papers of Gerhard Gentzen. Amsterdam: North-Holland 1969."},{"key":"BF02007139_CR2","doi-asserted-by":"crossref","first-page":"321","DOI":"10.2307\/2270324","volume":"33","author":"G. Kreisel","year":"1968","unstructured":"Kreisel, G.: Survey of proof theory. I. J. Symb. Logic33, 321\u2013388 (1968).","journal-title":"I. J. Symb. Logic"},{"key":"BF02007139_CR3","volume-title":"Zwei Normalisierungstheoreme f\u00fcr die Peano-Arithmetik 1. Stufe und verwandte Kalk\u00fcle","author":"W. Mellis","year":"1980","unstructured":"Mellis, W.: Zwei Normalisierungstheoreme f\u00fcr die Peano-Arithmetik 1. Stufe und verwandte Kalk\u00fcle. Dissertation, K\u00f6ln (1980)."},{"key":"BF02007139_CR4","doi-asserted-by":"crossref","first-page":"466","DOI":"10.2307\/2272731","volume":"37","author":"Ch. Parsons","year":"1972","unstructured":"Parsons, Ch.: Onn-quantifier induction. J. Symb. Logic37, 466\u2013482 (1972)","journal-title":"J. Symb. Logic"},{"key":"BF02007139_CR5","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K.: Proof theory, 2. revidierte Aufl. (1977).","DOI":"10.1007\/978-3-642-66473-1"},{"key":"BF02007139_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF01342950","volume":"122","author":"K. Sch\u00fctte","year":"1950","unstructured":"Sch\u00fctte, K.: Schlu\u00dfweisenkalk\u00fcle der Pr\u00e4dikatenlogik. Math. Ann.122, 47\u201365 (1950).","journal-title":"Math. Ann."},{"key":"BF02007139_CR7","volume-title":"Handbook of Math. Logic","author":"H. Schwichtenberg","year":"1977","unstructured":"Schwichtenberg, H.: Proof theory: some applications of cut-elimination. In: Barwise, K.J. (ed.): Handbook of Math. Logic, Amsterdam: North-Holland 1977."},{"key":"BF02007139_CR8","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01342849","volume":"122","author":"K. Sch\u00fctte","year":"1950","unstructured":"Sch\u00fctte, K.: Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Math. Ann.122, 369\u2013389 (1950).","journal-title":"Math. Ann."},{"key":"BF02007139_CR9","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/BF01342980","volume":"143","author":"W.W. Tait","year":"1961","unstructured":"Tait, W.W.: Nested recursion. Math. Ann.143, 236\u2013250 (1961).","journal-title":"Math. Ann."},{"key":"BF02007139_CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2270132","volume":"30","author":"W.W. Tait","year":"1965","unstructured":"Tait, W.W.: Functionals defined by transfinite recursion. J. Symb. Logic30, 155\u2013174 (1965).","journal-title":"J. Symb. Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007139.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007139\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T17:59:43Z","timestamp":1586368783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF02007139"],"URL":"https:\/\/doi.org\/10.1007\/bf02007139","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}