Hyperarithmetical is Effectively (co)-Analytic
The purpose of this blog post is to explain why hyperarithmetic definability exactly agrees with definability at the \(\Delta^1_1\) level of the analytical hierarchy. We follow the steps laid out in Computable Structure Theory: Beyond the arithmetic by Antonio Montalbán (the Draft form from September 23, 2022). This