March 23
Mateusz Łełyk, University of Warsaw
Nonequivalent axiomatizations of PA and the Tarski Boundary: Part III

This is a continuation of the talk from Feb 16th. This time we shall study different theories of the form ${\rm CT}^-[\delta]$ which are conservative extensions of a ${\rm PA}$. In particular, we prove the following theorem.

Theorem 2 There exists a family $\{\delta_f\}_{f\in\omega^*}$ such that for all $f,g\in\omega^*$
1) ${\rm CT}^-[\delta_f]$ is conservative over ${\rm PA}$;
2) if $f\subsetneq g$, then ${\rm CT}^-[\delta_g]$ properly extends ${\rm CT}^-[\delta_f]$;
3) if $f\perp g$ then ${\rm CT}^-[\delta_g]\cup {\rm CT}^-[\delta_f]$ is nonconservative over ${\rm PA}$ (but consistent).

We will finish the proof of the theorem announced in the abstract of part II.

Video