Publication:3138827
From MaRDI portal
zbMath0793.03063MaRDI QIDQ3138827
Publication date: 11 November 1993
ordinal analysisintroductionimpredicative axiom systemspredictive axiom systemproof theoretic ordinal of an axiom system
Related Items
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones, Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition, On lattices from combinatorial game theory: infinite case, Two applications of analytic functors, Some results on cut-elimination, provable well-orderings, induction and reflection, A Glimpse of $$ \sum_{3} $$-elementarity
