There is no SW-complete c.e. real

From MaRDI portal
Publication:5311772