Related papers: Compact Spaces with a $P$-base

It is consistent that the continuum be arbitrary large and no absolute $\kappa$-Borel set $X$ of density $\kappa$, $\aleph_1<\kappa<\mathfrak{c}$, condenses onto a compact metric space. It is consistent that the continuum be arbitrary large…

We introduce two notions of a contractive orbit of a set-valued map defined in a first countable space. The first defines the contraction with respect to the topology of the underlying space while the second defines the contraction with…

This paper mainly focuses on cones whose basis is a maximum $h$-scattered linear set. We start by investigating the intersection sizes of such cones with the hyperplanes. Then we analyze two constructions of point sets with few intersection…

We study the existence of uncountable first-order structures that are homogeneous with respect to their finitely generated substructures. In many classical cases this is either well-known or follows from general facts, for example, if the…

In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

We provide both a spectral and an internal characterizations of arbitrary I-favorable spaces with respect to co-zero sets. As a corollary we establish that any product of compact I-favorable spaces with respect to co-zero sets is also…

We prove, assuming Souslin's Hypothesis, that each uncountable subspace of each zero-dimensional monotonically normal compact space contains an uncountable subset of the real line with either the metric, the Sorgenfrey, or the discrete…

Given $1<p<N$ and two measurable functions $V\left( r\right) \geq 0$ and $K\left( r\right) >0$, $r>0$, we define the weighted spaces \[ W=\left\{ u\in D^{1,p}(\mathbb{R}^{N}):\int_{\mathbb{R}^{N}}V\left( \left| x\right| \right) \left|…

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…

We give the first lower bound on the $\scr C(K)$-distortion of the class of separable Banach spaces, for $K$ a countable compact in the family $\{ [0,\omega],[0,\omega\cdot2],\cdots, [0,\omega^2], \cdots, [0,\omega^k\cdot…

In this manuscript, we claim that the newly introduced $\mathcal{F}$-metric spaces are Hausdorff and also first countable. Moreover, we assert that every separable $\mathcal{F}$-metric space is second countable. Additionally, we acquire…

We strengthen the property $\Delta$ of a function $f:[\omega_2]^2\rightarrow [\omega_2]^{\leq \omega}$ considered by Baumgartner and Shelah. This allows us to consider new types of amalgamations in the forcing used by Rabus, Juh\'asz and…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.

There are two main aims of the paper. The first one is to extend the criterion for the precompactness of sets in Banach function spaces to the setting of quasi-Banach function spaces. The second one is to extend the criterion for the…

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…

Approximation/interpolation from spaces of positive definite or conditionally positive definite kernels is an increasingly popular tool for the analysis and synthesis of scattered data, and is central to many meshless methods. For a set of…

Let $\Omega $ be an open subset of $\mathbb{R}^{N}$, and let $p,\, q:\Omega \rightarrow \left[ 1,\infty \right] $ be measurable functions. We give a necessary and sufficient condition for the embedding of the variable exponent space…

We give an example of a computably enumerable closed subset of [0,1] that is not homeomorphic to any computably compact space. This answers a question of Koh, Melnikov and Ng.