Q3690813
type: Item
instance of: scholarly article
zbMATH Open document ID: 0573.03028
author: Wilfried Buchholz
author: Kurt Schütte
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F15
zbMATH DE Number: 3914318
zbMATH Keywords: proof theory
zbMATH Keywords: ordinal notation
zbMATH Keywords: consistency
zbMATH Keywords: classical analysis
zbMATH Keywords: separation
zbMATH Keywords: bar-induction
zbMATH Keywords: weakly inaccessible ordinal
zbMATH Keywords: denotation system
zbMATH Keywords: Collapsing functions
MaRDI profile type: Publication
Recommended article: Q3800031
Recommended article: Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie
Recommended article: Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
Recommended article: Q4023790
Recommended article: Q3695279
Recommended article: A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
Recommended article: Axiomatic system defining an order-embedding between infinite σ-algebras
Recommended article: Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)
Recommended article: AXIOMATIZATION OF THE MONADIC THEORY OF ORDINALS < ω2
Recommended article: Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
description: scientific article