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

DOI10.2307/2274218zbMATH Open0621.03036OpenAlexW1972431048MaRDI QIDQ3757912FDOQ3757912

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

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

zbMATH Keywords

ordinal notationsdilatorsHoward ordinalgarden

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)