Almost new pre-apartness from old

作者:Bridges Douglas S*
来源:Annals of Pure and Applied Logic, 2012, 163(8): 1009-1015.
DOI:10.1016/j.apal.2011.12.023

摘要

Continuing the constructive theory of pre-apartness on frames, we investigate, in the context of an a-frame L and its product P with itself, a subset B-w of beta whose counterpart in the context of a uniform space and the related apartness is closely linked with total boundedness. We also discuss the connection between the given pre-apartness on and a certain binary relation associated with B-w, also analogous to a binary relation on subsets of a uniform space.

  • 出版日期2012-8

全文