能行Hausdorff空间中按点r.e.开集的图灵度

设是P.Hingston称为“无元子递归E空间”的一种能行Hausdorff空间(见Effectivenessin Rings and Topology, Ph. D. Dissertation, Monash University, Australia, 1983).