On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness

DOI10.1305/ndjfl/1093635927zbMath0747.03026OpenAlexW1975500552MaRDI QIDQ1182692

Albert Visser

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635927

zbMATH Keywords

provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (4)

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ On the provability logic of bounded arithmetic ⋮ The arithmetics of a theory

This page was built for publication: On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness