Iraj Kalantari Larry Welch Density and Baire category in recursive topology. 381-391 2004 50 Math. Log. Q. 4-5 http://dx.doi.org/10.1002/malq.200310106 db/journals/mlq/mlq50.html#KalantariW04