Related papers: Lebesgue measurability of separately continuous fu…
A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one…
In this paper we show that if $(X,\mathcal{A})$ is a measurable space and if $Y$ is a topological model of a Lawvere theory $\mathcal{T}$ equipped with $\mathcal{B}$ the Borel $\sigma$-algebra on $Y$, then the set of…
It is solved the problem on constructed of separately continuous functions on product of two topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and first Baire class function $g:X\to…
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 investigate the behavior of functional countability and exponential separability in products and subspaces of topological spaces. We solve a problem of Tkachuk by showing that the product of functionally countable pseudocompact spaces is…
It is solved the problem on construction of separately continuous functions on product of $n$ topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and $n-1$ Baire class function $g:X\to…
In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed…
In this paper we study the behaviour of selective separability properties in the class of Frech\'{e}t-Urysohn spaces. We present two examples, the first one given in ZFC proves the existence of a countable Frech\'{e}t-Urysohn (hence…
We prove general results about separation and weak$^\#$-convergence of boundedly finite measures on separable metric spaces and Souslin spaces. More precisely, we consider an algebra of bounded real-valued, or more generally a $*$-algebra…
We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q > 0$ and…
We provide several characterizations of the Lebesgue property for fuzzy metric spaces. It is known that a fuzzy metric space is Lebesgue if and only if every real-valued continuous function is uniformly continuous. Here we show that it…
For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…
A topological space $X$ is said to be {\em $Y$-rigid} if any continuous map $f:X\rightarrow Y$ is constant. In this paper we construct a number of examples of regular countably compact $\mathbb R$-rigid spaces with additional properties…
We study properties of complete separable metric spaces within the framework of subsystems of second order arithmetic. In particular we consider Lebesgue and Atsuji spaces. The former are those such that every open covering U has a Lebesgue…
We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…
In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…
Given a metrizable space $X$, let $AM(X)$ be the space of continuous bounded admissible metrics on $X$, which is endowed with the sup-metric. In this paper, we shall investigate the Borel complexity and the complete metrizability of $AM(X)$…
Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from…
We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…
We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the…