Functors and ordinal notations. I: A functorial construction of the veblen hierarchy

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

zbMATH Keywords

flowers

Mathematics Subject Classification ID

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

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

• Π12-logic, Part 1: Dilators

This page was built for publication: Functors and ordinal notations. I: A functorial construction of the veblen hierarchy