On maximum conservative extensions

DOI10.3233/COM-150033MaRDI QIDQ5261154zbMATHOpenAlexFDO

Authors Henry Towsner

Publication date 1 July 2015

Published in Computability (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.1488

zbMATH Keywords

forcingreverse mathematicsconservative extensions

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Abstract: We investigate the set of Pi-1-2 sentences which are Pi-1-1 conservative over the theories of reverse mathematics RCA0+ISigma_n and ACA0. We exhibit new elements of these sets and conclude that the sets are Pi_2 complete. Along the way, we show that, over the theory RCA, induction for Sigma-n formulas has essentially no consequences for Delta-(n+1) formulas.

Recommendations

• On \(\Pi^1_1\) conservativity for \(\Pi^1_2\) theories in second order arithmetic
• On Partially Conservative Sentences and Interpretability
• Publication:5752567
• Conservation results for parameter-free \(\Pi_n\)-induction
• On some formalized conservation results in arithmetic

Cited in

(12)

• scientific article; zbMATH DE number 4187802 (Why is no real title available?)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• On the conservativity of the axiom of choice over set theory
• A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
• On Partially Conservative Sentences and Interpretability
• Conservative extensions of abstract structures
• On \(\Pi^1_1\) conservativity for \(\Pi^1_2\) theories in second order arithmetic
• A few questions concerning consistency and conservativeness
• Subsets coded in elementary end extensions
• Dense chains of ${\Sigma}_n$ sentences with strong conservativity properties
• Envelopes, indicators and conservativeness
• Lindenbaum Algebras and Partial Conservativity

This page was built for publication: On maximum conservative extensions

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