Abstract:We prove that if (M,\mathcal{X}) and (M,\mathcal{Y}) are countable models of the theory \mathrm{WKL}^{*}_{0} such that \mathrm{I}\Sigma_{1}(A) fails for some A \in \mathcal{X}\cap \mathcal{Y} , then (M,\mathcal{X}) and (M,\mathcal{Y}) are isomorphic. As a consequence, the analytic hierarchy collapses to \Delta^{1}_{1} provably in \mathrm{WKL}^{*}_{0} + \neg \mathrm{I}\Sigma^{0}_{1} , and \mathrm{WKL} is the strongest \Pi^{1}_{2} statement that is \Pi^{1}_{1} -conservative over \mathrm{RCA}^{*}_{0} + \neg \mathrm{I}\Sigma^{0}_{1} . Applying our results to the \Delta^{0}_{n} -definable sets in models of \mathrm{RCA}^{*}_{0} + \mathrm{B}\Sigma^{0}_{n} + \neg \mathrm{I}\Sigma^{0}_{n} that also satisfy an appropriate relativization of weak König’s lemma, we prove that for each n \ge 1 , the set of \Pi^{1}_{2} sentences that are \Pi^{1}_{1} -conservative over \mathrm{RCA}^{*}_{0} + \mathrm{B}\Sigma^{0}_{n} + \neg \mathrm{I}\Sigma^{0}_{n} is computably enumerable. In contrast, we prove that the set of \Pi^{1}_{2} sentences that are \Pi^{1}_{1} -conservative over \mathrm{RCA}^{*}_{0} + \mathrm{B}\Sigma^{0}_{n} is \Pi_{2} -complete. This answers a question of Towsner. We also show that \mathrm{RCA}_{0} + \mathrm{RT}^{2}_{2} is \Pi^{1}_{1} -conservative over \mathrm{B}\Sigma^{0}_{2} if and only if it is conservative over \mathrm{B}\Sigma^{0}_{2} with respect to \forall \Pi^{0}_{5} sentences.

A variety of partially conservative sentences

Conservativity of Type Theory over Higher-order Arithmetic

On a question of Krajewski's

More conservativity for weak Kőnig's lemma

Consistency, Optimality, and Incompleteness

On the conservation results for local reflection principles

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

A Variant of Tao's Method with Application to Restricted Sumsets

Conservation Relations for Local Theta Correspondence

Comment on ``Consistent Sets Yield Contrary Inferences in Quantum Theory''

Classical determinate truth without induction

An isomorphism theorem for models of weak König’s lemma without primitive recursion

Incompleteness for stably consistent formal systems

The tree pigeonhole principle in the Weihrauch degrees

Serial Properties, Selector Proofs, and the Provability of Consistency

Incompleteness of boundedly axiomatizable theories

Certified $Σ_1$-sentences

CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION

Some more results on relativized Chaitin's $Ω$

Second order conservative languages with a Maltsev polymorphism also have a majority polymorphism