Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
From MaRDI portal
Publication:3684118
DOI10.2307/2274263zbMath0568.03028OpenAlexW4234296908MaRDI QIDQ3684118
Jacqueline Vauzeilles, Jean-Yves Girard
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274263
Related Items (5)
Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Functors and ordinal notations. IV: The Howard ordinal and the functor ∧. ⋮ Natural well-orderings ⋮ Ordinals. II: Some applications and a functorial approach ⋮ Introduction to \(\Pi^1_2\)-logic
Cites Work
This page was built for publication: Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy