ON THE ITERATED ω‐RULE

DOI10.1002/MALQ.19920380116zbMath0798.03057OpenAlexW2057691306MaRDI QIDQ4295231

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)

Related Items (1)

The omega-rule interpretation of transfinite provability logic

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