Hyperarithmetical is Effectively (co)-Analytic
The purpose of this blog post is to explain why hyperarithmetic definability exactly agrees with definability at the 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