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$?
Simple Question about Borel Hierarchy
0
$\begingroup$
logic
set-theory
descriptive-set-theory