Ordinals. II: Some applications and a functorial approach
From MaRDI portal
Publication:1817061
DOI10.1007/BF02127793zbMATH Open0860.68097MaRDI QIDQ1817061FDOQ1817061
Authors: Jacqueline Vauzeilles 
Publication date: 29 January 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
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
- THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS
- Ordinals in Frobenius monads
Cites Work
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
- Systems of predicative analysis, II: Representations of ordinals
- Title not available (Why is that?)
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Π12-logic, Part 1: Dilators
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
- Title not available (Why is that?)
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
- Title not available (Why is that?)
- Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
- Ordinals. I: Basic notions
- Title not available (Why is that?)
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)
