Bibliographie
Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen. Vierteljahresschrift der Naturforschenden Gesellschaft in ZürichXCV, 115–117 (1950).
Girard, J.Y.:Π 12 -Logic. Part 1: Dilators. Ann. Math. Logic21, 75–219 (1981). Amsterdam: North-Holland 1981.
Girard, J.Y.: A survey ofΠ 12 -logic. Dans: Pfeiffer, H., Los, J., Cohen, L.J. (eds.): Logic, methodology, and philosophy of science, Vol. VI. Amsterdam: North-Holland (1982).
Girard, J.Y.: Proof theory and logical complexity. Bibliopolis. Napoli (a paraître).
Girard, J.Y., Norman, D.: Set recursion andΠ 12 -logic. Ann. Math. Logic (a paraître).
Girard, J.Y., Ressayre, J.P.: A paraître dans: Proceedings of the A.M.S. Conference in recursion theory (1982).
Masseron, M.: Majoration des fonctionsω CK1 -récursives par des échelles. Thèse de 3ième cycle. Université Paris-Nord (Fev. 1980).
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.
Vauzeilles, J.: Dilators and gardens. Dans: Stern. J. (ed.): Proc. of the Herbrand Symposium. Logic Colloquium '81. Amsterdam: North-Holland 1981.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Girard, J.Y., Vauzeilles, J. Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs. Arch math Logik 24, 167–191 (1984). https://doi.org/10.1007/BF02007148
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007148