Pages that link to "Item:Q3684117"

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)