Related papers: S-spaces and large continuum

We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…

We prove that several results of lineability/spaceability in the framework of sequence spaces are valid in a stricter sense.

It is shown that the Schreier space X admits a set of continuum cardinality whose elements are mutually incomparable complemented subspaces spanned by subsequences of the natural Schauder basis of X.

We construct a continuum of non-homeomorphic compact subspaces of the real line R without singleton components. Thus from the purely topological point of view the real line contains not only more closed sets than open sets but also more…

Let $\Gamma$ be a Polish space and let $K$ be a separable and pointwise compact set of real-valued functions on $\Gamma$. It is shown that if each function in $K$ has only countably many discontinuities then $C(K)$ may be equipped with a…

Assuming that there is a stationary set in $\omega_{2}$ of ordinals of countable cofinality that does not reflect, we prove that there exists a compact space which is not Corson compact and whose all continuous images of weight at most…

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…

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le \omega$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $\Pi(n)$ ($\Pi^+(n)$) that there are $n+1$ (0-dimensional $T_2$) spaces whose…

The magnitude of metric spaces does not appear to possess a simple, convenient continuity property, and previous studies have presented affirmative results under additional constraints or weaker notions, as well as counterexamples. In this…

We characterize when the countable power of a Corson compactum has a dense metrizable subspace and construct consistent examples of Corson compacta whose countable power does not have a dense metrizable subspace. We also give several…

The main aim of the article is to show, in the absence of the Axiom of Choice, relationships between the following, independent of $\mathbf{ZF}$, statements: "Every countable product of compact metrizable spaces is separable (respectively,…

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

We construct a family F of compact and pathwise connected subsets of the Euclidean plane such that (i) the cardinality of F is that of the continuum (and hence extremely large) and (ii) if X,Y are distinct spaces in F then there never…

In this paper, we show that D-compactness in Generalized \v{S}erstnev spaces implies D-boundedness and as in the classical case, a D-bounded and closed subset of a characteristic Generalized \v{S}erstnev is not D-compact in general.…

In this note, we give the affirmative answer of the question in [18], which is a compactness result of the non-radial Sobolev spaces. As an application, we show the existence of an extremal function of the critical Hardy inequality under…

This paper deals with two aspects of relativistic cosmologies with closed (compact and boundless) spatial sections. These spacetimes are based on the theory of General Relativity, and admit a foliation into space sections S(t), which are…

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 prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.

Given an uncountable, compact metric space, we show that there exists no reproducing kernel Hilbert space that contains the space of all continuous functions on this compact space.

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…