A left-c.e. real not computable by any Omega number with low redundancy


Date
Location
Mysore
Avatar
FANG Nan
Assistant Researcher