Further applications of ultra-conservative ω-rules

DOI10.1007/BF02297650MaRDI QIDQ3318773zbMATH OpenOpenAlexFDO

Authors

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

cut-eliminationfan theoreminfinite derivationsKönig's lemmaproof theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4057506
• Countable version of Omega-rule
• König's lemma, the ω-Rule and primitive recursive arithmetic
• An open formalism against incompleteness
• scientific article; zbMATH DE number 1324440
• scientific article; zbMATH DE number 6307937
• From Stenius' consistency proof to Schütte's cut elimination for -arithmetic
• Primitive recursion and the chain antichain principle
• Notation systems for infinitary derivations
• The \(\omega{}\)-rule

Cites work

• scientific article; zbMATH DE number 3497842 (Why is no real title available?)
• scientific article; zbMATH DE number 3324718 (Why is no real title available?)
• Normal derivability and first-order arithmetic
• Note on the fan theorem
• On an extremely restricted ω-rule

Cited in

(8)

• Applications of cut-free infinitary derivations to generalized recursion theory
• From Stenius' consistency proof to Schütte's cut elimination for -arithmetic
• An extension of the omega-rule
• Countable version of Omega-rule
• König's lemma, the ω-Rule and primitive recursive arithmetic
• On an extremely restricted ω-rule
• scientific article; zbMATH DE number 1149459 (Why is no real title available?)
• Eliminating disjunctions by disjunction elimination

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

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