Finite presentability of strongly finite dilators

DOI10.1051/ITA:2000125zbMath0977.03031OpenAlexW2095434408MaRDI QIDQ2729624

Osamu Takaki

Publication date: 21 January 2002

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2000__34_6_425_0/

zbMATH Keywords

finite presentabilityendofunctorsordinal notationcategory of dilatorscategory of ordinalsstrongly finite dilator

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Unnamed Item
• Unnamed Item
• A topos-theorist looks at dilators
• The slow-growing and the Graegorczyk hierarchies
• Π12-logic, Part 1: Dilators
• A functorial property of the Aczel-Buchholz-Feferman function

This page was built for publication: Finite presentability of strongly finite dilators