A few questions concerning consistency and conservativeness

MaRDI QIDQ5222072zbMATHFDO

Authors Zofia Adamowicz

Publication date 30 March 2020

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Recommendations

• On the \(\Sigma{}^ 0_ 1\)-conservativity of \(\Sigma{}^ 0_ 1\)- completeness
• On maximum conservative extensions
• On some formalized conservation results in arithmetic
• On the scheme of induction for bounded arithmetic formulas
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic

Cited in

(3)

• Restricted polynomial induction versus parameter free ordinary induction
• Restricted polynomial induction versus ordinary induction
• On the consistency of MPS

This page was built for publication: A few questions concerning consistency and conservativeness

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