{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T20:10:34Z","timestamp":1675282234558},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"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":[[1978,12]]},"DOI":"10.1007\/bf02011877","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T13:32:17Z","timestamp":1123767137000},"page":"165-173","source":"Crossref","is-referenced-by-count":3,"title":["\u00dcber die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen"],"prefix":"10.1007","volume":"19","author":[{"given":"H.","family":"Vogel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011877_CR1","first-page":"115","volume":"95","author":"H. Bachmann","year":"1950","unstructured":"Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljahresschrift der Naturforschenden Gesellschaft in Z\u00fcrich, Bd. 95, 115\u2013147 (1950).","journal-title":"Vierteljahresschrift der Naturforschenden Gesellschaft in Z\u00fcrich"},{"key":"BF02011877_CR2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01360719","volume":"174","author":"H. Gerber","year":"1967","unstructured":"Gerber, H.: An extension of Sch\u00fctte's Klammersymbols. Math. Ann.174, 203\u2013216 (1967).","journal-title":"Math. Ann."},{"key":"BF02011877_CR3","unstructured":"Howard, A.W.: Ordinal analysis of bar recursion of type zero. Chicago 1969 (vervielf\u00e4ltigt)."},{"key":"BF02011877_CR4","doi-asserted-by":"crossref","first-page":"355","DOI":"10.2307\/2272979","volume":"37","author":"A.W. Howard","year":"1972","unstructured":"Howard, A.W.: A system of abstract constructive ordinals. Journal of Symbolic Logic.37, 355\u2013374 (1972).","journal-title":"Journal of Symbolic Logic"},{"key":"BF02011877_CR5","unstructured":"Pfeiffer, H.: Ausgezeichnete Folgen f\u00fcr gewisse Abschnitte der zweiten und weiterer Zahlklassen."},{"key":"BF02011877_CR6","first-page":"123","volume":"23","author":"B. Scarpellini","year":"1971","unstructured":"Scarpellini, B.: A model for bar-recursion of higher types. Compositio Mathematica23, 123\u2013153 (1971).","journal-title":"Compositio Mathematica"},{"key":"BF02011877_CR7","volume-title":"Primitiv-rekursive Ordinalzahlfunktionen. Sitzungsberichte der Bayer","author":"K. Sch\u00fctte","year":"1975","unstructured":"Sch\u00fctte, K.: Primitiv-rekursive Ordinalzahlfunktionen. Sitzungsberichte der Bayer. Akademie der Wissenschaften, M\u00fcnchen 1975."},{"key":"BF02011877_CR8","volume-title":"Einige Anwendungen von unendlichen Termen und Wertfunktionalen","author":"H. Schwichtenberg","year":"1973","unstructured":"Schwichtenberg, H.: Einige Anwendungen von unendlichen Termen und Wertfunktionalen. Habilitationsschrift, M\u00fcnster 1973."},{"key":"BF02011877_CR9","unstructured":"Vogel, H.: \u00dcber ein mit der Barinduktion verwandtes Schema. Mai 1977 (vervielf\u00e4ltigt)."},{"key":"BF02011877_CR10","unstructured":"Zucker, J.: Iterated inductive definitions, trees, and ordinals. LNM 344 A.S. Troelstra 392\u2013454 (1973)."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011877.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011877\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:24:58Z","timestamp":1557771898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011877"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011877"],"URL":"https:\/\/doi.org\/10.1007\/bf02011877","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}