0
$\begingroup$

I'm a bit confused about the basics of the borel hierarchy. My question is this: if i have a closed set P and I make the set $\forall^\omega P$, is that $\Pi^0_3$? Similarly, if I have an open set P and i make the set $\exists^\omega$ P, is that $\Sigma^0_3$?

1 Answers 1