Page "Arithmetical hierarchy" Paragraph 29

* An equivalent definition of the analytical hierarchy on Baire space is given by defining the analytical hierarchy of formulas using a functional version of second-order arithmetic ; then the analytical hierarchy on subsets of Cantor space can be defined from the hierarchy on Baire space.

This alternate definition gives exactly the same classifications as the first definition.