scientific article; zbMATH DE number 3497842
From MaRDI portal
Publication:4079564
zbMath0318.02003MaRDI QIDQ4079564
Stephen G. Simpson, Grigori Mints, Georg Kreisel
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)
Related Items
What can be done with PRA?, On the computational complexity of cut-reduction, Further applications of ultra-conservative ω-rules, Continuous normalization for the lambda-calculus and Gödel's T, Notation systems for infinitary derivations, Proof Search Tree and Cut Elimination, Finite investigations of transfinite derivations, A Characterisation of Definable NP Search Problems in Peano Arithmetic, Fragments of arithmetic, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
