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.
A-realcompact spaces.
Relations between homomorphisms on a real function algebra and different properties (such as being inverse-closed and closed under bounded inversion) are studied.
Around a quotient space of Bennett-Lutzer's space.
Around Katětov's metrization theorem
A-spaces and countably bi-quotient maps [Book]
Aspects of categorical algebra in initialstructure categories
Aspects of complete uniform spreads in frames.
Asymmetric tie-points and almost clopen subsets of
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...
Atomic compactness for reflexive graphs
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...
Atomless Parts of Spaces.
Aull-paracompactness and strong star-normality of subspaces in topological spaces
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].
Axiom and the Simmons sublocale theorem
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...
Axioms weaker then
Baire spaces, -spaces, and some properly hereditary properties.
Base-base paracompactness and subsets of the Sorgenfrey line
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.
Behavior of biharmonic functions on Wiener's and Royden's compactifications
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.
Bemerkungen über TD-Räume.
Between closed sets and generalized closed sets in closure spaces
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.
Biequivalences and topology in the alternative set theory
Biframe compactifications
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...