Invited

The norms of RCA₀

on Fri, 9:30in Class A (Zaal 1.05)for 50min

It is well-known that the $\Pi^1_1$ -norm of $\mathsf{RCA}_0$ is $\omega^\omega$ . In this talk, we characterize the $\Pi^1_n$ -norms of $\mathsf{RCA}_0$ . This is joint work with Freund and Pakhomov (for $\Pi^1_2$ ) and with Jeon (for $\Pi^1_{n+3}$ ).

Download the abstract.

Overview Program

The norms of RCA0

The norms of RCA₀