Related papers: New examples in the study of selectively separable…
This paper investigates Voevodsky's univalence axiom in intensional Martin-L\"of type theory. In particular, it looks at how univalence can be derived from simpler axioms. We first present some existing work, collected together from various…
We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…
In this article we will investigate nonmeasurability with respect to some $\sigma$-ideals in Polish space $X,$ of images of subsets of $X$ by selected mappings defined on the space $X$. Among of them we answer the following question: "It is…
The cellular-Lindel\"of property is a common generalization of the Lindel\"of property and the countable chain condition that was introduced by Bella and Spadaro in 2018. We solve two questions of Alas, Gutierrez-Dominguez and Wilson by…
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…
We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…
We consider finite point subsets (distributions) in compact metric spaces. In the case of general rectifiable metric spaces, non-trivial bounds for sums of distances between points of distributions and for discrepancies of distributions in…
Martin's Axiom for $\sigma$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions.
A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily…
We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…
We construct a compact metric space that has any other compact metric space as a tangent, with respect to the Gromov-Hausdorff distance, at all points. Furthermore, we give examples of compact sets in the Euclidean unit cube, that have…
We analyse several examples of separable Banach spaces, some of them new, and relate them to several dichotomies obtained in the previous paper Banach spaces without minimal subspaces, by classifying them according to which side of the…
A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable…
The axioms of ZFC provide a foundation for mathematics, however, there are statements independent of ZFC, such as the Continuum Hypothesis (CH). We discuss Martin's axiom, which is an alternative to CH that roughly states that if there is a…
On metric spaces equipped with doubling measures, we prove that a differentiability theorem holds for Lipschitz functions if and only if the space supports nontrivial (metric) derivations in the sense of Weaver that satisfy an additional…
For non-empty sets X we define notions of distance and pseudo metric with values in a partially ordered set that has a smallest element $\theta $. If $h_X$ is a distance in $X$ (respectively, a pseudo metric in $X$), then the pair $(X,h_X)$…
We consider a class of functions defined on metric spaces which generalizes the concept of piecewise Lipschitz continuous functions on an interval or on polyhedral structures. The study of such functions requires the investigation of their…
We mainly discuss the cardinal invariants and generalized metric properties on paratopological groups or rectifiable spaces, and show that: (1) If $A$ and $B$ are $\omega$-narrow subsets of a paratopological group $G$, then $AB$ is…
We say that a topological space $X$ is selectively highly divergent (SHD) if for every sequence of non-empty open sets $\{U_n\mid n\in\omega \}$ of $X$, we can find $x_n\in U_n$ such that the sequence $(x_n)$ has no convergent subsequences.…
We construct a ZFC example of a nonmetrizable compact space $K$ such that every totally disconnected closed subspace $L\subseteq K$ is metrizable. In fact, the construction can be arranged so that every nonmetrizable compact subspace may be…