{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:46:10Z","timestamp":1648824370669},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"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,6]]},"DOI":"10.1007\/bf01633986","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T16:59:34Z","timestamp":1115398774000},"page":"119-141","source":"Crossref","is-referenced-by-count":2,"title":["Ptykes in G\u00f6delsT und Definierbarkeit von Ordinalzahlen"],"prefix":"10.1007","volume":"28","author":[{"given":"Peter","family":"P\u00e4ppinghaus","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","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":"CR2","volume-title":"An approach to definability theory","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and structures. An approach to definability theory. Berlin Heidelberg New York: Springer 1975"},{"key":"CR3","first-page":"99","volume":"1983","author":"W. Buchholz","year":"1984","unstructured":"Buchholz, W., Sch\u00fctte, K.: Ein Ordinalzahlensystem f\u00fcr die beweistheoretische Abgrenzung der\u03a0 2 1 -Separation und Bar-Induktion. Bayer. Akad. Wiss. Math.-Naturwiss. Kl. Sitzungsber.1983, 99\u2013132 (1984)","journal-title":"Bayer. Akad. Wiss. Math.-Naturwiss. Kl. Sitzungsber."},{"key":"CR4","unstructured":"Feferman, S.: Ordinals associated with theories for one inductively defined set (preliminary version). Hektographiertes Manuskript eines Beitrags zur Summer Conference at Buffalo N.Y. 1968"},{"key":"CR5","first-page":"289","volume-title":"Hereditarily replete functionals over the ordinals","author":"S. Feferman","year":"1970","unstructured":"Feferman, S.: Hereditarily replete functionals over the ordinals. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and proof theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, pp. 289\u2013301. Amsterdam London: North-Holland 1970"},{"key":"CR6","first-page":"59","volume":"249","author":"J.-Y. Girard","year":"1975","unstructured":"Girard, J.-Y.: Functionals and ordinoids. In: Colloques internationaux du CNRS: Colloque international de logique.249, 59\u201371 (1975)","journal-title":"Colloques internationaux du CNRS: Colloque international de logique"},{"key":"CR7","unstructured":"Girard, J.-Y.: Proof theory and logical complexity, wird erscheinen in Ed. Bibliopolis, Napoli"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y., Ressayre, J.P.: Elements de logique\u03a0 n 1 . In: Nerode, A., Shore, R.A. (eds.) Recursion theory. Proc. Sympos. Pure Math.42, 389\u2013445 (1985)","DOI":"10.1090\/pspum\/042\/791069"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del, K.: \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. Dialectica12, 280\u2013287 (1958)","journal-title":"Dialectica"},{"key":"CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion-theoretic hierarchies","author":"P.G. Hinman","year":"1978","unstructured":"Hinman, P.G.: Recursion-theoretic hierarchies. Berlin Heidelberg New York: Springer 1978"},{"key":"CR11","unstructured":"Howard, W.A.: Transfinite induction and transfinite recursion. In: Stanford report on the foundations of analysis, sec. VI, Vol.2, pp. 207\u2013262, Stanford University 1963"},{"key":"CR12","series-title":"Lect. Notes Math., vol. 344","first-page":"454","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","author":"W.A. Howard","year":"1973","unstructured":"Howard, W.A.: Hereditarily majorizable functionals of finite type. In: Troelstra, A.S.: Metamathematical investigation of intuitionistic arithmetic and analysis (Lect. Notes Math., vol. 344, pp. 454\u2013461, Appendix) Berlin Heidelberg New York: Springer 1973"},{"key":"CR13","first-page":"171","volume-title":"Logic Colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985","author":"G. J\u00e4ger","year":"1987","unstructured":"J\u00e4ger, G.: Some proof-theoretic contributions to theories of sets. In: The Paris Logic Group (ed.) Logic Colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985, pp. 171\u2013191. Amsterdam New York Oxford Tokyo: North-Holland 1987"},{"key":"CR14","first-page":"1","volume":"1982","author":"G. J\u00e4ger","year":"1982","unstructured":"J\u00e4ger, G., Pohlers, W.: Eine beweistheoretische Untersuchung von (\u0394 2 1 CA)+(BI) und verwandter Systeme. Bayer. Akad. Wiss. Math.-Naturwiss. Kl. Sitzungsber.1982, 1\u201328 (1982)","journal-title":"Bayer. Akad. Wiss. Math.-Naturwiss. Kl. Sitzungsber."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Jensen, R.B., Karp, C: Primitive recursive set functions. In: Scott, D.S. (ed.) Axiomatic set theory. Proc. Sympos. Pure Math.,13 (I), 143\u2013176, (1971)","DOI":"10.1090\/pspum\/013.1\/0281602"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/978-1-4899-0548-2_11","volume-title":"Foundations of logic and linguistics:problems and their solutions","author":"P. P\u00e4ppinghaus","year":"1985","unstructured":"P\u00e4ppinghaus, P.: A typed\u03bb-calculus and Girard's model of ptykes. In: Dorn, G., Weingartner, P. (eds.) Foundations of logic and linguistics:problems and their solutions, pp. 245\u2013279. New York London: Plenum Press 1985"},{"key":"CR17","unstructured":"P\u00e4ppinghaus, P.: Ptykes in G\u00f6delsT und Verallgemeinerte Rekursion \u00fcber Mengen und Ordinalzahlen. Habilitationsschrift. Universit\u00e4t Hannover 1985"},{"key":"CR18","first-page":"213","volume-title":"Logic Colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985","author":"P. P\u00e4ppinghaus","year":"1987","unstructured":"P\u00e4ppinghaus, P.:\u03a0 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.: Rekursion \u00fcber Dilatoren und die Bachmann-Hierarchie. Arch. Math. Logic28, 57\u201373","DOI":"10.1007\/BF01624083"},{"key":"CR20","unstructured":"Pfeiffer, H.: Ein abstraktes Ordinalzahlbezeichnungssystem mit einem Zeichen f\u00fcr die kleinste schwach unerreichbare Ordinalzahl. Institut f\u00fcr Mathematik, Universit\u00e4t Hannover, Nr. 155, 1983"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0049-237X(08)71889-5","volume-title":"Proceedings of the Herbrand Symposium. Logic Colloquium '81","author":"J.P. Ressayre","year":"1982","unstructured":"Ressayre, J.P.: Bounding generalized recursive functions of ordinals by effective functors; a complement to the Girard theorem. In: Stern, J. (ed.) Proceedings of the Herbrand Symposium. Logic Colloquium '81, pp. 251\u2013279. Amsterdam New York Oxford: North-Holland 1982"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0049-237X(08)70592-5","volume-title":"Generalized recursion theory. Proceedings of the 1972 Oslo Symposium","author":"W. Richter","year":"1974","unstructured":"Richter, W., Aczel, P.: Inductive definitions and reflecting properties of admissible ordinals. In: Fenstad, J.E. Hinman, P.G. (eds.) Generalized recursion theory. Proceedings of the 1972 Oslo Symposium, pp. 301\u2013381. Amsterdam London New York: North-Holland 1974"},{"key":"CR23","volume-title":"Lect. Notes Math., vol.344","author":"A.S. Troelstra","year":"1973","unstructured":"Troelstra, A.S.: Metamathematical investigation of intuitionistic arithmetic and analysis (Lect. Notes Math., vol.344) Berlin Heidelberg New York: Springer 1973"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF02011877","volume":"19","author":"H. Vogel","year":"1978","unstructured":"Vogel, H.: \u00dcber die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen. Arch. Math. Logik19, 165\u2013173 (1978)","journal-title":"Arch. Math. Logik"},{"key":"CR25","unstructured":"Weyhrauch, R.W.: Relations between some hierarchies of ordinal functions and functionals. Thesis, Stanford University 1972"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01633986.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01633986\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01633986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T12:08:25Z","timestamp":1557230905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01633986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF01633986"],"URL":"https:\/\/doi.org\/10.1007\/bf01633986","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}