Compactness in fuzzifying topology (Q1311914)

The concept of a fuzzifying topology was introduced by the author [ibid. 39, 303-321 (1991; Zbl 0718.54017)] and thoroughly studied by him in a series of subsequent papers. In the present paper the concept of compactness for fuzzifying topologies is introduced; in fact it is a unary fuzzy predicate on the class of fuzzifying topological spaces. The author establishes generalized versions of the Tykhonov and the Wallace theorems and of some other classical results in the context of fuzzifying topologies. As in the author's previous papers, the basic tool of investigation here is the semantic method of continuous logic.