scientific article; zbMATH DE number 3061667
From MaRDI portal
Publication:5800868
zbMath0041.02103MaRDI QIDQ5800868
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Eine Variante Des OrdinalzahlbezeichnungssystemsΣ ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Ein konstruktives system von Ordinalzahlen ⋮ Epsilon substitution for \(ID_1\) via cut-elimination ⋮ Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy) ⋮ Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs ⋮ Natural well-orderings ⋮ Functorial Fast-Growing Hierarchies ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Type-theoretic approaches to ordinals ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal ⋮ The Operational Perspective: Three Routes ⋮ Über zwei Bezeichnungssysteme für Ordinalzahlen ⋮ ϱ-inaccessible ordinals, collapsing functions and a recursive notation system ⋮ Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen ⋮ A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal ⋮ Ordinals. I: Basic notions ⋮ Ordinals. II: Some applications and a functorial approach ⋮ … and so on: Schütte on Naming Ordinals
This page was built for publication:
