{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T10:49:20Z","timestamp":1679482160219},"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\/bf02007148","type":"journal-article","created":{"date-parts":[[2005,8,4]],"date-time":"2005-08-04T22:26:22Z","timestamp":1123194382000},"page":"167-191","source":"Crossref","is-referenced-by-count":4,"title":["Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs"],"prefix":"10.1007","volume":"24","author":[{"given":"J. Y.","family":"Girard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Vauzeilles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007148_CR1","first-page":"115","volume":"XCV","author":"H. Bachmann","year":"1950","unstructured":"Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen. Vierteljahresschrift der Naturforschenden Gesellschaft in Z\u00fcrichXCV, 115\u2013117 (1950).","journal-title":"Vierteljahresschrift der Naturforschenden Gesellschaft in Z\u00fcrich"},{"key":"BF02007148_CR2","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.:\u03a0 2 1 -Logic. Part 1: Dilators. Ann. Math. Logic21, 75\u2013219 (1981). Amsterdam: North-Holland 1981.","journal-title":"Ann. Math. Logic"},{"key":"BF02007148_CR3","volume-title":"Logic, methodology, and philosophy of science, Vol. VI","author":"J.Y. Girard","year":"1982","unstructured":"Girard, J.Y.: A survey of\u03a0 2 1 -logic. Dans: Pfeiffer, H., Los, J., Cohen, L.J. (eds.): Logic, methodology, and philosophy of science, Vol. VI. Amsterdam: North-Holland (1982)."},{"key":"BF02007148_CR4","unstructured":"Girard, J.Y.: Proof theory and logical complexity. Bibliopolis. Napoli (a para\u00eetre)."},{"key":"BF02007148_CR5","unstructured":"Girard, J.Y., Norman, D.: Set recursion and\u03a0 2 1 -logic. Ann. Math. Logic (a para\u00eetre)."},{"key":"BF02007148_CR6","unstructured":"Girard, J.Y., Ressayre, J.P.: A para\u00eetre dans: Proceedings of the A.M.S. Conference in recursion theory (1982)."},{"key":"BF02007148_CR7","unstructured":"Masseron, M.: Majoration des fonctions\u03c9 1 CK -r\u00e9cursives par des \u00e9chelles. Th\u00e8se de 3i\u00e8me cycle. Universit\u00e9 Paris-Nord (Fev. 1980)."},{"key":"BF02007148_CR8","volume-title":"Proc. of the Herbrand Symposium. Logic Colloquium '81","author":"J.P. Ressayre","year":"1981","unstructured":"Ressayre, J.P.: Bounding generalized recursive functions of ordinals by effective functors; a complement to the Girard theorem. Dans: Stern, J. (ed.): Proc. of the Herbrand Symposium. Logic Colloquium '81. Amsterdam: North-Holland 1981."},{"key":"BF02007148_CR9","volume-title":"Proc. of the Herbrand Symposium. Logic Colloquium '81","author":"J. Vauzeilles","year":"1981","unstructured":"Vauzeilles, J.: Dilators and gardens. Dans: Stern. J. (ed.): Proc. of the Herbrand Symposium. Logic Colloquium '81. Amsterdam: North-Holland 1981."},{"key":"BF02007148_CR10","volume-title":"Proc of the Herbrand Symposium. Logic Colloquium '81","author":"J. Wiele Van de","year":"1981","unstructured":"Van de Wiele, J.: Recursive dilators and generalized recursions: Dans: Stern. J. (ed.): Proc of the Herbrand Symposium. Logic Colloquium '81. Amsterdam: North-Holland 1981."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"fr","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007148.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007148\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:26:49Z","timestamp":1557833209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF02007148"],"URL":"https:\/\/doi.org\/10.1007\/bf02007148","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}