Finite presentability of strongly finite dilators

DOI10.1051/ITA:2000125MaRDI QIDQ2729624zbMATH OpenOpenAlexFDO

Authors 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/, https://eudml.org/doc/221946

zbMATH Keywords

category of dilatorscategory of ordinalsendofunctorsfinite presentabilityordinal notationstrongly finite dilator

Mathematics Subject Classification ID

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

Recommendations

• A strong boundedness theorem for dilators
• A topos-theorist looks at dilators
• On finitary functors and their presentations
• On finitary functors
• Some uses of dilators in combinatorial problems. II

Cites work

• A functorial property of the Aczel-Buchholz-Feferman function
• A topos-theorist looks at dilators
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• The slow-growing and the Graegorczyk hierarchies
• Π12-logic, Part 1: Dilators

Cited in

(1)

• A topos-theorist looks at dilators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729624)