Finite presentability of strongly finite dilators
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) no. 6, pp. 425-431.
@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},
     pages = {425--431},
     publisher = {EDP-Sciences},
     volume = {34},
     number = {6},
     year = {2000},
     mrnumber = {1844712},
     zbl = {0977.03031},
     language = {en},
     url = {http://www.numdam.org/item/ITA_2000__34_6_425_0/}
}
TY  - JOUR
AU  - Takaki, Osamu
TI  - Finite presentability of strongly finite dilators
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2000
SP  - 425
EP  - 431
VL  - 34
IS  - 6
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_2000__34_6_425_0/
LA  - en
ID  - ITA_2000__34_6_425_0
ER  - 
%0 Journal Article
%A Takaki, Osamu
%T Finite presentability of strongly finite dilators
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2000
%P 425-431
%V 34
%N 6
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_2000__34_6_425_0/
%G en
%F 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) no. 6, pp. 425-431. http://www.numdam.org/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 | Zbl

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

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

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

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

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