Finite presentability of strongly finite dilators
Takaki, Osamu
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000), p. 425-431 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2000-01-01
@article{ITA_2000__34_6_425_0,
     author = {Takaki, Osamu},
     title = {Finite presentability of strongly finite dilators},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {34},
     year = {2000},
     pages = {425-431},
     mrnumber = {1844712},
     zbl = {0977.03031},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_2000__34_6_425_0}
}

Takaki, Osamu. Finite presentability of strongly finite dilators. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) pp. 425-431. http://gdmltest.u-ga.fr/item/ITA_2000__34_6_425_0/

[1] J. Adàmek and J. Rosický, Locally presentable and accessible categories. Cambridge University Press, London Math. Soc. Lecture Notes Ser. 189 (1994). | MR 1294136 | Zbl 0795.18007

[2] E. A. Cichon and S. S. Wainer, The slow-growing and the Grzegorczyk hierarchies. J. Symbolic Logic 48 (1983) 399-408. | MR 704094 | Zbl 0567.03020

[3] J. Y. Girard, π½-logic, Part I; dilators. Ann. Math. Logic 21 (1981) 75-219. | MR 656793 | Zbl 0496.03037

[4] J. Y. Girard, Proof theory and logical complexity, Vol. 1. Bibliopolis (1987). | MR 903244 | Zbl 0635.03052

[5] P. T. Johnstone, A topos-theorist looks at dilators. J. Pure Appl. Algebra 58 (1989) 235-249. | MR 1004604 | Zbl 0675.18005

[6] A. Weiermann, A functorial property of the Aczel-Buchholz-Feferman function. J. Symbolic Logic 59 (1994) 945-955. | MR 1295980 | Zbl 0808.03039