scientific article; zbMATH DE number 888989
From MaRDI portal
Publication:4882047
zbMath0845.03024MaRDI QIDQ4882047
Publication date: 9 September 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke-Platek set theoryordinal analysis\(H\)-controlled derivationsimpredicative cut-eleminationKPMrecursive Mahlo universe
Related Items (2)
Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Zur Beweistheorie Von KPM
This page was built for publication: