ON THE ITERATED ω‐RULE

DOI10.1002/MALQ.19920380116zbMATH Open0798.03057OpenAlexW2057691306MaRDI QIDQ4295231FDOQ4295231

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

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

zbMATH Keywords

reflection principleiterated omega-rule

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (3)

• Title not available (Why is that?)
• 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)