Ordinals. II: Some applications and a functorial approach
From MaRDI portal
(Redirected from Publication:1817061)
Recommendations
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
- Ordinals and Knuth-Bendix orders
- scientific article; zbMATH DE number 3906549
- Type-theoretic approaches to ordinals
- scientific article; zbMATH DE number 3906494
- Ordinals in analysis and measure theory
- scientific article; zbMATH DE number 3120039
- THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS
- Ordinals in Frobenius monads
Cites work
- scientific article; zbMATH DE number 3906494 (Why is no real title available?)
- scientific article; zbMATH DE number 3781163 (Why is no real title available?)
- scientific article; zbMATH DE number 3346319 (Why is no real title available?)
- scientific article; zbMATH DE number 3061667 (Why is no real title available?)
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
- Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
- Ordinals. I: Basic notions
- Systems of predicative analysis, II: Representations of ordinals
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Π12-logic, Part 1: Dilators
Cited in
(4)- Bounds for the closure ordinals of essentially monotonic increasing functions
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
- Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
This page was built for publication: Ordinals. II: Some applications and a functorial approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817061)
