Related papers: On (ultra-) completeness numbers and (pseudo-) pav…
We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.
A convergence structure generalizing the order convergence structure on the set of Hausdorff continuous interval functions is defined on the set of minimal usco maps. The properties of the obtained convergence space are investigated and…
The space $F(\ell_2)$ of all closed subsets of $\ell_2$ is a Polish space. We show that the subset $P\subset F(\ell_2)$ consisting of the purely 1-unrectifiable sets is $\Pii$-complete.
This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out…
For any countable $CW$-complex $K$ and a cardinal number $\tau\geq\omega$ we construct a completely metrizable space $X(K,\tau)$ of weight $\tau$ with the following properties: $\e X(K,\tau)\leq K$, $X(K,\tau)$ is an absolute extensor for…
We prove that if a quasiconvex subset $X$ of a metric space $Y$ has finite Nagata dimension and is Lipschitz $k$-connected or admits Euclidean isoperimetric inequalities up to dimension $k$ for some $k$ then $X$ is isoperimetrically…
The paper investigates higher dimensional analogues of Burago's inequality bounding the area of a closed surface by its total curvature. We obtain sufficient conditions for hypersurfaces in 4-space that involve the Ricci curvature. We get…
We investigate the relationship between the compactness of embeddings of Sobolev spaces built upon rearrangement-invariant spaces into rearrangement-invariant spaces endowed with $d$-Ahlfors measures under certain restriction on the speed…
We extend the definition of quasi-finite complexes by considering not necessarily countable complexes. We provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications.…
Conformal transformations of a Euclidean (complex) plane have some kind of completeness (sufficiency) for the solution of many mathematical and physical-mathematical problems formulated on this plane. There is no such completeness in the…
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for…
We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness…
In the study of immersed surfaces of constant positive extrinsic curvature in space-forms, it is natural to substitute completeness for a weaker property, which we here call quasicompleteness. We determine the global geometry of such…
Urysohn constructed a separable complete universal metric space homogeneous for all finite subspaces, which is today called the Urysohn universal metric space. Some authors have recently investigated an ultrametric analogue of this space.…
A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Frechet.
A test space is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories -- notably, quantum mechanics -- in which one is faced with…
A metric space M is homogeneous if every isometry between finite subsets extends to a surjective isometry defined on the whole space. We show that if M is an ultrametric space, it suffices that isometries defined on singletons extend, i.e…
We introduce and study the notion of overcomplete set in a Banach space, that subsumes and extends the classical concept of overcomplete sequence in a (separable) Banach space. We give existence and non-existence results of overcomplete…