Ordinal notation
Top View
- Predicativity and Feferman
- Pure Σ2 -Elementarity Beyond the Core
- Arxiv:Math/0509244V3 [Math.LO] 11 May 2009 Vr Icsino Rdctvs O H Atfryyears
- Kleene's Amazing Second Recursion Theorem
- Simplification Orders in Term Rewriting. Derivation Lengths
- A Tutorial on Countable Ordinals
- An Introduction to WQO and BQO Theory
- Ordinal Notations Based on a Weakly Mahlo Cardinal
- Nominalistic-MHA
- Computability, Reverse Mathematics and Combinatorics: Open Problems Banff International Research Station Alberta, Canada Sunday, December 7–Friday, December 12, 2008
- Ordinal Notation Systems Corresponding to Friedman's Linearized Well-Partial-Orders with Gap-Condition
- Hydra Battles in Coq