A few questions concerning consistency and conservativeness

zbMATH Open1432.03119MaRDI QIDQ5222072FDOQ5222072

Authors: Zofia Adamowicz 

Publication date: 30 March 2020

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

Mathematics Subject Classification ID

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

Cited In (3)

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

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)