References
Abrusci, V.M.: Dilators, generalized Goodstein sequences, independence results (A survey). In: Simpson, S.G. (ed.) Logic and combinatorics, pp. 1–23. Am. Math. Soc., 1987
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.pp. 25–53. Am. Math. Soc., 1987
Girard, J.Y.:π 12 -logic. Part I: Dilators. Ann. Math. Logic21, 75–219 (1981)
Girard, J.Y.: Proof theory and logical complexity, Vol. I, Bibliopolis 1987
Girard, J.Y., Vauzeilles, J.: A functorial construction of the Veblen hierarchy. J. Symb. Logic49, 713–729 (1984)
Kirby, L., Paris, J.: Accessible independence results for Peano Arithmetic. Bull Lond. Math. Soc.14, 285–293 (1982)
Paris, J., Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 1133–1142. North-Holland 1977
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Abrusci, V.M. Some uses of dilators in combinatorial problems. Arch Math Logic 29, 85–109 (1989). https://doi.org/10.1007/BF01620619
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01620619