scientific article; zbMATH DE number 3497842
From MaRDI portal
Publication:4079564
zbMATH Open0318.02003MaRDI QIDQ4079564FDOQ4079564
Authors: Stephen G. Simpson, Georg Kreisel, G. E. Mints 
Publication date: 1975
Title of this publication is not available (Why is that?)
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)
Cited In (10)
- Fragments of arithmetic
- Notation systems for infinitary derivations
- A Characterisation of Definable NP Search Problems in Peano Arithmetic
- Further applications of ultra-conservative ω-rules
- Proof Search Tree and Cut Elimination
- What can be done with PRA?
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
- On the computational complexity of cut-reduction
- Finite investigations of transfinite derivations
- Continuous normalization for the lambda-calculus and Gödel's T
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4079564)
