Dense chains of {\Sigma}_n sentences with strong conservativity properties

MaRDI QIDQ5224698zbMATH OpenFDO

Authors V. Yu. Shavrukov

Publication date 24 July 2019

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A theorem on partial conservativity in arithmetic
• Lindenbaum Algebras and Partial Conservativity
• On Partially Conservative Sentences and Interpretability
• On maximum conservative extensions
• Uniform density in Lindenbaum algebras

Cited in

(1)

• Lindenbaum Algebras and Partial Conservativity

This page was built for publication: Dense chains of ${\Sigma}_n$ sentences with strong conservativity properties

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