Pages that link to "Item:Q3684117"
From MaRDI portal
The following pages link to Functors and ordinal notations. I: A functorial construction of the veblen hierarchy (Q3684117):
Displayed 10 items.
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator) (Q913788) (← links)
- Ordinals. II: Some applications and a functorial approach (Q1817061) (← links)
- Functorial bounds for cut elimination inL βω . I (Q3222838) (← links)
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy (Q3684118) (← links)
- Functorial bounds for cut elimination inL βω . II (Q3710524) (← links)
- Functors and ordinal notations. IV: The Howard ordinal and the functor ∧. (Q3757912) (← links)
- Natural well-orderings (Q3772212) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)
- Computer science and the fine structure of Borel sets (Q5941255) (← links)