Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
From MaRDI portal
Publication:3757912
DOI10.2307/2274218zbMath0621.03036MaRDI QIDQ3757912
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
Related Items
Accessible Recursive Functions, Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy), Ordinals. II: Some applications and a functorial approach, Natural well-orderings
Cites Work