Transfinite inductions producing coanalytic sets

From MaRDI portal
Publication:5401330