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

DOI10.1007/BF02007557zbMath0594.03036OpenAlexW2082196855WikidataQ124808997 ScholiaQ124808997MaRDI QIDQ3724327

No author found.

Publication date: 1985

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

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

zbMATH Keywords

proof theoryinfinite derivationsinfinitary inference rulefinite derivations

Mathematics Subject Classification ID

Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Ein System des Verknüpfenden Schliessens
• Further applications of ultra-conservative ω-rules
• Functionals defined by transfinite recursion
• Unnamed Item

This page was built for publication: König's lemma, the ω-Rule and primitive recursive arithmetic