Related papers: Critical ideals for compact spaces

Hyperspaces $\mathcal H(X)$ of all countable compact subsets of a metric space $X$ and $\mathcal A_n(X)$ of infinite compact subsets which have at most $n$ ($n\in\mathbb N$), or finitely many ($n=\omega$) or countably many ($n=\omega+1$)…

The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…

As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…

In a compact topological dynamical system $(X,f)$, we associate to every pair $(x,y)$ a canonical order-theoretic invariant, its emergent order spectrum $\Omega(x,y)$. We first prove that, if $x$ and $y$ are chain-related, one can always…

Given a partially ordered set $P$ we study properties of topological spaces $X$ admitting a $P$-base, i.e., an indexed family $(U_\alpha)_{\alpha\in P}$ of subsets of $X\times X$ such that $U_\beta\subset U_\alpha$ for all $\alpha\le\beta$…

We introduce three metrics on the set of quantum probability measures over a compact Hausdorff space and characterize them in terms of the completely bounded norm of the corresponding unital completely positive maps. We extend the existing…

Given an ideal $\mathcal{I}$ on $\omega$, we prove that a sequence in a topological space $X$ is $\mathcal{I}$-convergent if and only if there exists a ``big'' $\mathcal{I}$-convergent subsequence. Then, we study several properties and show…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal…

In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operation. However, the Metacategory space, valid for all…

For infinite cardinals $\kappa,\lambda$ let $C(\kappa,\lambda)$ denote the class of all compact Hausdorff spaces of weight $\kappa$ and size $\lambda$. So $C(\kappa,\lambda)=\emptyset$ if $\kappa>\lambda$ or $\lambda>2^\kappa$. If F is a…

We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study…

The following paper is inspired by Efimov's problem - an undecided problem of whether there exists an infinite compact topological space that does not contain neither non-trivial convergent sequences nor a copy of $\beta\omega$. After…

In this paper we introduce and study three new cardinal topological invariants called the cs*, cs-, and sb-characters. The class of topological spaces with countable cs*-character is closed under many topological operations and contains all…

A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…

In applications it is useful to know whether a topological preordered space is normally preordered. It is proved that every $k_\omega$-space equipped with a closed preorder is a normally preordered space. Furthermore, it is proved that…

The problem of characterizing normed ordered spaces which admit a representation in the algebraic, order and norm sense as a subspace of $C(X)$, the space of all continuous functions on a compact Hausdorff space is a classical problem that…

A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are…

It is known that a countable $\omega$-categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone…

We show that all sufficiently nice $\lambda$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $\kappa \le \mathfrak{b}$ there is a countable dense homogeneous metric space…