Ordinals. II: Some applications and a functorial approach

DOI10.1007/BF02127793zbMath0860.68097MaRDI QIDQ1817061

Jacqueline Vauzeilles

Publication date: 29 January 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

proof theory

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10)

Cites Work

• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• Ordinals. I: Basic notions
• 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 ∧.
• Π12-logic, Part 1: Dilators
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Systems of predicative analysis, II: Representations of ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ordinals. II: Some applications and a functorial approach