Are initially -compact separable regular spaces compact?
We investigate the question of the title. While it is immediate that CH yields a positive answer we discover that the situation under the negation of CH holds some surprises.
We investigate the question of the title. While it is immediate that CH yields a positive answer we discover that the situation under the negation of CH holds some surprises.
Relations between homomorphisms on a real function algebra and different properties (such as being inverse-closed and closed under bounded inversion) are studied.
A tie-point of compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. We review some of the many consistency results that have depended on the construction of tie-points of . One especially important application, due to Veličković, was to the existence of nontrivial involutions on . A tie-point of has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost clopen set...
A first order structure with universe M is atomic compact if every system of atomic formulas with parameters in M is satisfiable in provided each of its finite subsystems is. We consider atomic compactness for the class of reflexive (symmetric) graphs. In particular, we investigate the extent to which “sparse” graphs (i.e. graphs with “few” vertices of “high” degree) are compact with respect to systems of atomic formulas with “few” unknowns, on the one hand, and are pure restrictions of their...
We prove for a subspace of a -space , is (strictly) Aull-paracompact in and is Hausdorff in if and only if is strongly star-normal in . This result provides affirmative answers to questions of A.V. Arhangel’skii–I.Ju. Gordienko [3] and of A.V. Arhangel’skii [2].
More precisely, we are analyzing some of H. Simmons, S. B. Niefield and K. I. Rosenthal results concerning sublocales induced by subspaces. H. Simmons was concerned with the question when the coframe of sublocales is Boolean; he recognized the role of the axiom for the relation of certain degrees of scatteredness but did not emphasize its role in the relation between sublocales and subspaces. S. B. Niefield and K. I. Rosenthal just mention this axiom in a remark about Simmons’ result. In this...
A topological space is called base-base paracompact (John E. Porter) if it has an open base such that every base has a locally finite subcover . It is not known if every paracompact space is base-base paracompact. We study subspaces of the Sorgenfrey line (e.g. the irrationals, a Bernstein set) as a possible counterexample.
Let be a smooth Riemannian manifold of finite volume, its Laplace (-Beltrami) operator. Canonical direct-sum decompositions of certain subspaces of the Wiener and Royden algebras of are found, and for biharmonic functions (those for which ) the decompositions are related to the values of the functions and their Laplacians on appropriate ideal boundaries.
The purpose of the present paper is to define and study -closed sets in closure spaces obtained as generalization of the usual closed sets. We introduce the concepts of -continuous and -closed maps by using -closed sets and investigate some of their properties.
Compactifications of biframes are defined, and characterized internally by means of strong inclusions. The existing description of the compact, zero-dimensional coreflection of a biframe is used to characterize all zero-dimensional compactifications, and a criterion identifying them by their strong inclusions is given. In contrast to the above, two sufficient conditions and several examples show that the existence of smallest biframe compactifications differs significantly from the corresponding...