scientific article
From MaRDI portal
Publication:4071232
zbMath0312.02051MaRDI QIDQ4071232
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55)
Related Items
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen, \(\Delta\)-languages for sets and LOGSPACE computable graph transformers, POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND, The Operational Perspective: Three Routes, From Subsystems of Analysis to Subsystems of Set Theory, A categorical construction of Bachmann–Howard fixed points, Beweistheorie vonKPN, Predicativity and Feferman
