ON THE ITERATED ω‐RULE

DOI10.1002/MALQ.19920380116MaRDI QIDQ4295231zbMATH OpenOpenAlexFDO

Authors Grzegorz Michalski

Publication date 7 November 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19920380116

zbMATH Keywords

reflection principleiterated omega-rule

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Proof theoretic analysis by iterated reflection
• Proof-theoretic analysis by iterated reflection
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Reflection Principles in Fragments of Peano Arithmetic
• Iterated local reflection versus iterated consistency

Cited in

(3)

• scientific article; zbMATH DE number 3908426 (Why is no real title available?)
• Proof theoretic analysis by iterated reflection
• The omega-rule interpretation of transfinite provability logic

This page was built for publication: ON THE ITERATED ω‐RULE

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