scientific article
From MaRDI portal
Publication:3480035
zbMath0702.03033MaRDI QIDQ3480035
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)
Related Items
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones ⋮ Proof theory and ordinal analysis
