\Sigma _{1}^{1} in Every Real in a \Sigma _{1}^{1} Class of Reals Is \Sigma _{1}^{1}

From MaRDI portal
Publication:2970972