scientific article

zbMath0793.03063MaRDI QIDQ3138827

Wolfram Pohlers

Publication date: 11 November 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordinal analysisintroductionimpredicative axiom systemspredictive axiom systemproof theoretic ordinal of an axiom system

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (6)

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

This page was built for publication: