Related papers: High dimensional countable compactness and ultrafi…
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…
We present a geometrical canonical description for superconducting membranes. We consider a general action which includes a general class of superconducting extended objects (strings and domain walls). The description is inspired in the ADM…
We study the relations between a generalization of pseudocompactness, named $(\kappa, M)$-pseudocompactness, the countably compactness of subspaces of $\beta \omega$ and the pseudocompactness of their hyperspaces. We show, by assuming the…
Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$. We prove that such a set exists if $X$ is…
Given an uncountable subset $\mathcal Y$ of a nonseparable Banach space, is there an uncountable $\mathcal Z\subseteq \mathcal Y$ such that the distances between any two distinct points of $\mathcal Z$ are more or less the same? If an…
We give examples of $n$-sequentially compact spaces that are not $(n+1)$-sequentially compact under several assumptions. We improve results from Kubis and Szeptycki by building such examples from $\mathfrak{b=c}$ and…
We discuss conditions under which certain compactifications of topological spaces can be obtained by composing the ultrafilter space monad with suitable reflectors. In particular, we show that these compactifications inherit their…
We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…
A theory of resource-bounded dimension is developed using gales, which are natural generalizations of martingales. When the resource bound \Delta (a parameter of the theory) is unrestricted, the resulting dimension is precisely the…
A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection. We show that (i) there are 0-dimensional P_{<omega} spaces of size 2^omega,…
Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-\v{C}ech compactification $\beta X$ of $X$ with the set of…
We continue the study of the theories of Baldwin-Shi hypergraphs from $[5]$. Restricting our attention to when the rank $\delta$ is rational valued, we show that each countable model of the theory of a given Baldwin-Shi hypergraph is…
A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…
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…
It is shown that the countably infinite dimensional pointed vector space (the vector space equipped with a constant) over a finite field has infinitely many first order definable reducts. This implies that the countable homogeneous…
We construct a normal countably tight $T_1$ space $X$ with $t(X_\delta) >2^\omega$. This is an answer to the question posed by Dow-Juh\'asz-Soukup-Szentmikl\'ossy-Weiss. We also show that if the continuum is not so large, then the tightness…
Let $\Omega $ be a bounded ${\mathcal{C}}^{\infty}$-smoothly bounded domain in ${\mathbb{C}}^{n}.$ For such a domain we define a new notion between strict pseudo-convexity and pseudo-convexity: the size of the set $W$ of weakly…
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…
We study two classes of spaces whose points are filters on partially ordered sets. Points in MF spaces are maximal filters, while points in UF spaces are unbounded filters. We give a thorough account of the topological properties of these…
Computability on uncountable sets has no standard formalization, unlike that on countable sets, which is given by Turing machines. Some of the approaches to define computability in these sets rely on order-theoretic structures to translate…