On some extensions of the projective hierarchy (Q1099175): Difference between revisions

\textit{Y. N. Moschovakis} considered the family of hyperprojective sets [Descriptive set theory (1980; Zbl 0433.03025)]. In a previous note the first author constructed the class of weakly projective sets on the Baire space \(\Sigma =N^ N\) and proved that they form a \(\sigma\)-algebra, the least one containing the projective sets (the usual ones). In this paper, the authors prove that the collection of all the hyperprojective sets A such that both A and \(A^ c\) have countable closure ordinals (in the sense defined by them) coincides with the family of weak projective sets, and hence they form the \(\sigma\)-algebra generated by the usual projective sets. The note is written in a logical manner, the definitions and proofs are too elliptical, and several misprints make it very difficult to grasp by the reader. Familiarity with Moschovakis's book and with the new logicist slang is supposed.