Related papers: Skeletally generated spaces and absolutes
We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard…
In this paper we show that if X is an infinite compactum cleavable over an ordinal, then X must be homeomorphic to an ordinal. X must also therefore be a LOTS. This answers two fundamental questions in the area of cleavability. We also…
A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…
We introduce notions of nearly good relations and N-sticky modulo a relation as tools for proving that spaces are D-spaces. As a corollary to general results about such relations, we show that C_p(X) is hereditarily a D-space whenever X is…
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…
Differential completions and compactifications of differential spaces are introduced and investigated. The existence of the maximal differential completion and the maximal differential compactification is proved. A sufficient condition for…
A Banach space $X$ is said to have the ball generated property (BGP) if every closed, bounded, convex subset of $X$ can be written as an intersection of finite unions of closed balls. In 2002 S. Basu proved that the BGP is stable under…
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…
We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and…
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…
A connection between moduli spaces of algebro-geometric objects and moduli spaces of polyhedral objects has been under investigation in recent years. Loosely speaking, the skeleton of an algebro-geometric moduli space is expressed as the…
In the work it is shown that the space of idempotent probability measures with compact supports is kappa-metrizable if the given Tychonoff space is kappa-metrizable. It is constructed a series of max-plus-convex subfunctors of the functor…
A convenient bicategory of topological stacks is constructed which is both complete and Cartesian closed. This bicategory, called the bicategory of compactly generated stacks, is the analogue of classical topological stacks, but for a…
Given an arbitrary measurable cardinal $\kappa$, a nondiscrete Hausdorff extremally disconnected topological group of cardinality $\kappa$ is constructed.
Several uniqueness results on compact maximal hypersurfaces in a wide class of sta- bly causal spacetimes are given. They are obtained from the study of a distinguished function on the maximal hypersurface, under suitable natural first…
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
In this paper it is shown how to construct a finite topological space $X$ for a given finitely presentable group $G$ such that $\pi_1(X)\cong G$. Our construction is not optimal in the sense that the cardinality of the space $X$ might not…
We give a new and elementary proof showing that a homeomorphism of a compact metric space is positively expansive if and only if the space is finite.
M. Escard\'o et al. asked whether the core compactly generated topology of a sober space is again sober and the sobrification of a core compactly generated space again core compactly generated. In this note, we answer the problem by…
We introduce a new class of $\varkappa$-metrizable spaces, namely countably $\varkappa$-metrizable spaces. We show that the class of all $\varkappa$-metrizable spaces is a proper subclass of counably $\varkappa$-metrizable spaces. On the…