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.

Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$

Strong forcing axioms and the continuum problem (following Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$)

Marginalia to a Theorem of Asperó and Schindler

Inner Models from Extended Logics: Part 2

On the Consistency Strength of MM($ω_1$)

On the consistency strength of the proper forcing axiom

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals

The $κ$-Strongly Proper Forcing Axiom

Incompatible category forcing axioms

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy

On a Question of Hamkins and Löwe on the modal logic of collapse forcing

Aronszajn trees and maximality -- Part 2

Forcing Axioms and the Uniformization-Property

Axiom $\mathcal{A}$ and supercompactness

Martin's Axiom and Weak Kurepa Hypothesis

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

On forcing axioms and weakenings of the Axiom of Choice

Proof equivalence in MLL is PSPACE-complete

On Roitman's principles $\mathsf{MH}$ and $Δ$

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals

Joint Laver diamonds and grounded forcing axioms