{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T04:35:50Z","timestamp":1771562150781,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1989,2,1]],"date-time":"1989-02-01T00:00:00Z","timestamp":602294400000},"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":[[1989,2]]},"DOI":"10.1007\/bf01624083","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T23:53:59Z","timestamp":1114905239000},"page":"57-73","source":"Crossref","is-referenced-by-count":3,"title":["Rekursion \u00fcber Dilatoren und die Bachmann-Hierarchie"],"prefix":"10.1007","volume":"28","author":[{"given":"Peter","family":"P\u00e4ppinghaus","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Abrusci, V.M.: Dilators, generalized Goodstein sequences, independence results: a survey. In: Simpson, S.G. (ed.) Logic and Combinatorics. Proceedings of a Summer Research Conference held in Arcata (Calif.), August 4\u201310, 1985. Contemp. Math.65, 1\u201323 (1987)","DOI":"10.1090\/conm\/065\/891240"},{"key":"CR2","unstructured":"Abrusci, V.M.: Some uses of dilators in combinatorial problems. Part III. Independence results by means of decreasingF-sequences. Preprint"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Abrusci, V.M., Girard, J.-Y., Van de Wiele, J.: Some uses of dilators in combinatorial problems. Part I. In: Simpson, S.G. (ed.) Logic and Combinatorics. Proceedings of a Summer Research Conference held in Arcata (Calif.), August 4\u201310, 1985. Contemp. Math.65, 25\u201353 (1987)","DOI":"10.1090\/conm\/065\/891241"},{"key":"CR4","unstructured":"Abrusci, V.M., Girard, J.-Y., Van de Wiele, J.: Some uses of dilators in combinatorial problems. Part II. IncreasingF-sequences (F dilator) and inverse Goodstein sequences. Universit\u00e0 di Siena, Dipartimento di Matematica, Rapporto Matematico no. 119 (1984)"},{"key":"CR5","first-page":"35","volume":"37","author":"P. Aczel","year":"1972","unstructured":"Aczel, P.: Describing ordinals using functionals of transfinite type. JSL37, 35\u201347 (1972)","journal-title":"JSL"},{"key":"CR6","first-page":"5","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\u00fcrich95, 5\u201337 (1950)","journal-title":"Vierteljahresschrift der Naturforschenden Gesellschaft in Z\u00fcrich"},{"key":"CR7","first-page":"171","volume":"40","author":"J. Bridge","year":"1975","unstructured":"Bridge, J.: A simplification of the Bachmann method for generating large countable ordinals. JSL40, 171\u2013185 (1975)","journal-title":"JSL"},{"key":"CR8","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":"CR9","unstructured":"Girard, J.-Y.: Functionals and ordinoids. In: Colloques internationaux du CNRS 249: Colloque international de logique, 59\u201371 (1975)"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0003-4843(81)90016-4","volume":"21","author":"J.-Y. Girard","year":"1981","unstructured":"Girard, J.-Y.:II 2 1 -logic, Part 1: Dilators. Ann. Math. Logic21, 75\u2013219 (1981)","journal-title":"Ann. Math. Logic"},{"key":"CR11","first-page":"13","volume":"3","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.:II 2 1 -logic and related topics. In: Proceedings of the conferences on mathematical logic (Siena, 1985; Padova, 1985 and Siena, 1986), Vol. 3, 13\u201345, Siena 1987","journal-title":"Proceedings of the conferences on mathematical logic (Siena, 1985; Padova, 1985 and Siena, 1986)"},{"key":"CR12","unstructured":"Girard, J.-Y.: Proof Theory and Logical Complexity, wird erscheinen in Ed. Bibliopolis, Napoli"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0168-0072(85)90017-X","volume":"28","author":"J.-Y. Girard","year":"1985","unstructured":"Girard, J.-Y., Normann, D.: Set recursion and II 1 2 -logic. Ann. Pure Appl. Logic28, 255\u2013286 (1985)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"1079","DOI":"10.2307\/2274263","volume":"49","author":"J.-Y. Girard","year":"1984","unstructured":"Girard, J.-Y., Vauzeilles, J.: Functors and ordinal notations. II. A functorial construction of the Bachmann hierarchy. JSL49, 1079\u20131114 (1984)","journal-title":"JSL"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF02007148","volume":"24","author":"J.-Y. Girard","year":"1984","unstructured":"Girard, J.-Y., Vauzeilles, J.: Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs. Arch. Math. Logik Grundlagenforsch.24, 167\u2013191 (1984)","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1002\/malq.19850311903","volume":"31","author":"H.R. Jervell","year":"1985","unstructured":"Jervell, H.R.: Recursion on homogeneous trees. Z. Math. Logik Grundlagen Math.31, 295\u2013298 (1985)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"CR17","unstructured":"P\u00e4ppinghaus, P.: Ptykes in G\u00f6delsT und Verallgemeinerte Rekursion \u00fcber Mengen und Ordinalzahlen. Habilitationsschrift, Universit\u00e4t Hannover (1985)"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0049-237X(09)70555-5","volume-title":"Logic Colloquium '85","author":"P. P\u00e4ppinghaus","year":"1987","unstructured":"P\u00e4ppinghaus, P.:II 2-models of extensions of Kripke-Platek set theory. In: The Paris Logic Group (ed.) Logic Colloquium '85. (Proceedings of the Colloquium held in Orsay, France, July 1985, pp. 213\u2013232) Amsterdam New York Oxford Tokyo: North-Holland 1987"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"P\u00e4ppinghaus, P.: Ptykes in G\u00f6delsT und Definierbarkeit von Ordinalzahlen. Arch. Math. Logic (in press)","DOI":"10.1007\/BF01633986"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/S0049-237X(08)71894-9","volume-title":"Proceedings of the Herbrand Symposium","author":"J. Vauzeilles","year":"1982","unstructured":"Vauzeilles, J.: Functors and ordinal notations. III - Dilators and gardens. In: Stern, J. (ed.) Proceedings of the Herbrand Symposium. (Logic Colloquium '81, pp. 333\u2013364) Amsterdam New York Oxford: North-Holland 1982"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2274218","volume":"50","author":"J. Vauzeilles","year":"1985","unstructured":"Vauzeilles, J.: Functors and ordinal notations. IV: The Howard ordinal and the functor \u039b. JSL50, 331\u2013338 (1985)","journal-title":"JSL"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01624083.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01624083\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01624083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T20:25:34Z","timestamp":1557260734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01624083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,2]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,2]]}},"alternative-id":["BF01624083"],"URL":"https:\/\/doi.org\/10.1007\/bf01624083","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,2]]}}}