Further applications of ultra-conservative ω-rules

DOI10.1007/BF02297650zbMath0535.03030OpenAlexW2028571085MaRDI QIDQ3318773

No author found.

Publication date: 1982

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137994

zbMATH Keywords

proof theorycut-eliminationfan theoremKönig's lemmainfinite derivations

Mathematics Subject Classification ID

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

Related Items (1)

König's lemma, the ω-Rule and primitive recursive arithmetic

Cites Work

• Normal derivability and first-order arithmetic
• Note on the fan theorem
• On an extremely restricted ω-rule
• Unnamed Item
• Unnamed Item

This page was built for publication: Further applications of ultra-conservative ω-rules