Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
From MaRDI portal
Publication:3684117
DOI10.2307/2274127zbMath0568.03027OpenAlexW2117465430MaRDI QIDQ3684117
Jean-Yves Girard, Jacqueline Vauzeilles
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274127
Related Items (10)
Functorial bounds for cut elimination inL βω . II ⋮ Hyperations, Veblen progressions and transfinite iteration of ordinal functions ⋮ Functors and ordinal notations. IV: The Howard ordinal and the functor ∧. ⋮ Functorial bounds for cut elimination inL βω . I ⋮ Natural well-orderings ⋮ Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator) ⋮ Computer science and the fine structure of Borel sets ⋮ Ordinals. II: Some applications and a functorial approach ⋮ European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 ⋮ Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
Cites Work
This page was built for publication: Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
