On the existence of -primitives on arbitrary metric spaces
We show that the statement CCFC = “the character of a maximal free filter of closed sets in a space is not countable” is equivalent to the Countable Multiple Choice Axiom CMC and, the axiom of choice AC is equivalent to the statement CFE = “closed filters in a space extend to maximal closed filters”. We also show that AC is equivalent to each of the assertions: “every closed filter in a space extends to a maximal closed filter with a well orderable filter base”, “for every set ,...
We study set-valued mappings of bounded variation of one real variable. First we prove the existence of an extension of a metric space valued mapping from a subset of the reals to the whole set of reals with preservation of properties of the initial mapping: total variation, Lipschitz constant or absolute continuity. Then we show that a set-valued mapping of bounded variation defined on an arbitrary subset of the reals admits a regular selection of bounded variation. We introduce a notion of generated...
The author has recently shown (2014) that separable, selectively (a)-spaces cannot include closed discrete subsets of size . It follows that, assuming CH, separable selectively (a)-spaces necessarily have countable extent. However, in the same paper it is shown that the weaker hypothesis "" is not enough to ensure the countability of all closed discrete subsets of such spaces. In this paper we show that if one adds the hypothesis of local compactness, a specific effective (i.e., Borel) parametrized...
For a topological property P, we say that a space X is star Pif for every open cover Uof the space X there exists Y ⊂ X such that St(Y,U) = X and Y has P. We consider star countable and star Lindelöf spaces establishing, among other things, that there exists first countable pseudocompact spaces which are not star Lindelöf. We also describe some classes of spaces in which star countability is equivalent to countable extent and show that a star countable space with a dense σ-compact subspace can have...
Let and be closed subsets of [0,1] with a subset of the limit points of . Necessary and sufficient conditions are found for the existence of a continuous function such that is an -limit set for and is the set of fixed points of in .
We introduce a functor of order-preserving functionals which contains some known functors as subfunctors. It is shown that this functor is weakly normal and generates a monad.
A considerable amount of research has been done on the notions of pseudo complement, intersection and union of fuzzy sets [1], [4], [11]. Most of this work consists of generalizations or alternatives of the basic concepts introduced by L. A. Zadeh in his famous paper [13]: generalization of the unit interval to arbitrary complete and completely distributive lattices or to Boolean algebras [2]; alternatives to union and intersection using the concept of t-norms [3], [10]; alternative complements...