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

DOI10.2307/2274218zbMath0621.03036OpenAlexW1972431048MaRDI QIDQ3757912

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)

Related Items (4)

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

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

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