scientific article; zbMATH DE number 3497842

MaRDI QIDQ4079564zbMATHFDO

Authors Stephen G. Simpson, Georg Kreisel, G. E. Mints

Publication date 1975

Mathematics Subject Classification ID

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)

• Continuous normalization for the lambda-calculus and Gödel's T
• Proof Search Tree and Cut Elimination
• Finite investigations of transfinite derivations
• Notation systems for infinitary derivations
• A Characterisation of Definable NP Search Problems in Peano Arithmetic
• What can be done with PRA?
• Fragments of arithmetic
• The prehistory of the subsystems of second-order arithmetic
• Further applications of ultra-conservative ω-rules
• On the computational complexity of cut-reduction

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)