Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.

DOI10.2307/2274218MaRDI QIDQ3757912zbMATHOpenAlexFDO

Authors Jacqueline Vauzeilles

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274218

zbMATH Keywords

ordinal notationsdilatorsHoward ordinalgarden

Mathematics Subject Classification ID

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

Recommendations

• Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
• Ordinals. II: Some applications and a functorial approach
• scientific article; zbMATH DE number 3906494
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• scientific article; zbMATH DE number 4037857

Cites work

• Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
• Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
• Π12-logic, Part 1: Dilators

Cited in

(4)

• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• Accessible Recursive Functions
• Ordinals. II: Some applications and a functorial approach
• Natural well-orderings

This page was built for publication: Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.

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