能行拓扑中的创造集

本文在Kalantari和Retzlaff的能行拓扑空间X中定义了创造性的概念,讨论了X的创造开集的种种能行性质以及它与自然数递归论中的创造集的异同,也讨论了它与Kalantari和Leggett在X中所定义的单纯开集的关系,并用带有拓扑需求的有穷损害优先方法构造了X的两个创造开集,一个有可开拓的r.e.分划,一个没有可开拓的r.e.分划,从而指出了X上古典拓扑与能行拓扑的不同。