On maximum conservative extensions
From MaRDI portal
Publication:5261154
DOI10.3233/COM-150033zbMATH Open1326.03072arXiv1302.1488OpenAlexW2962858146MaRDI QIDQ5261154FDOQ5261154
Authors: Henry Towsner 
Publication date: 1 July 2015
Published in: Computability (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1302.1488
Recommendations
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Cited In (12)
- Subsets coded in elementary end extensions
- Lindenbaum Algebras and Partial Conservativity
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
- Conservative extensions of abstract structures
- Dense chains of ${\Sigma}_n$ sentences with strong conservativity properties
- On \(\Pi^1_1\) conservativity for \(\Pi^1_2\) theories in second order arithmetic
- Title not available (Why is that?)
- Envelopes, indicators and conservativeness
- On Partially Conservative Sentences and Interpretability
- On the conservativity of the axiom of choice over set theory
- A few questions concerning consistency and conservativeness
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)
