Maximal p-Systems and Realcompleteness.
We prove that a separable Hausdor_ topological space X containing a cocountable subset homeomorphic to [0, ω1] admits no separately continuous mean operation and no diagonally continuous n-mean for n ≥ 2.
We prove that the statement: "there is a Corson compact space with a non-separable Radon measure" is equivalent to a number of natural statements in set theory.
It is shown that Čech completeness, ultracompleteness and local compactness can be defined by demanding that certain equivalences hold between certain classes of Baire measures or by demanding that certain classes of Baire measures have non-empty support. This shows that these three topological properties are measurable, similarly to the classical examples of compact spaces, pseudo-compact spaces and realcompact spaces.
A topological space is called mesocompact (sequentially mesocompact) if for every open cover of , there exists an open refinement of such that is finite for every compact set (converging sequence including its limit point) in . In this paper, we give some characterizations of mesocompact (sequentially mesocompact) spaces using selection theory.
A locallic version of Hager’s metric-fine spaces is presented. A general definition of -fineness is given and various special cases are considered, notably all metric frames, complete metric frames. Their interactions with each other, quotients, separability, completion and other topological properties are discussed.
According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism Ĝ → D̂ of the dual groups is a topological isomorphism. We introduce four conditions on D that are necessary for it to determine G and we resolve the following question: If one of these conditions holds for every dense (or -dense) subgroup D of G, must G be metrizable? In particular, we prove (in ZFC) that a compact abelian group determined by all its...