A result on implications of Σ1-sentences and its application to normal form theorems

DOI10.2307/2273761MaRDI QIDQ3922671zbMATH OpenOpenAlexFDO

Authors Jean-Yves Girard, Peter Paeppinghaus

Publication date 1981

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273761

zbMATH Keywords

proof theory

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cites work

• A version of the ∑1-reflection principle for CFA provable in PRA

Cited in

(1)

• A version of the ∑1-reflection principle for CFA provable in PRA

This page was built for publication: A result on implications of Σ₁-sentences and its application to normal form theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3922671)