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

DOI10.2307/2273761zbMath0469.03039OpenAlexW2057700456MaRDI QIDQ3922671

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)

Related Items (1)

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

Cites Work

• 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