scientific article
From MaRDI portal
Publication:3690813
zbMath0573.03028MaRDI QIDQ3690813
Wilfried Buchholz, Kurt Schütte
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencyproof theoryseparationclassical analysisordinal notationweakly inaccessible ordinalbar-inductionCollapsing functionsdenotation system
Related Items
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees ⋮ Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones ⋮ Natural well-orderings ⋮ Ordinal notations based on a weakly Mahlo cardinal ⋮ A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal ⋮ Simplified collapsing functions and their applications ⋮ Proof theory and ordinal analysis ⋮ A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal ⋮ Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger ⋮ Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers) ⋮ Cut-Elimination for SBL ⋮ Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion