Related papers: How can we recognize potentially ${\bf\Pi}^0_\xi$ …

The rational homology group of the order complex of non-even partitions of a finite set is calculated. A twisted version of the Goresky-MacPherson approach to similar homology calculations is proposed.

We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $\sigma$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.

We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…

The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…

The main result is the following. Let $f \colon X \rightarrow Y$ be a continuous mapping of a completely Baire space $X$ onto a hereditary weakly Preiss-Simon regular space $Y$ such that the image of every open subset of $X$ is a resolvable…

In this article, we will define the Orlicz space and the Orlicz-Sobolev space, and develop their topological properties. We will also examine their applications to partial differential equations (PDEs), with an emphasis on the use of…

The paper investigates the variation of the spectrum of operators in infinite dimensional Banach spaces. In particular, it is shown that the spectrum function is Borel from the space of bounded operators on a separable Banach space;…

The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $\omega$-power of the Sierpi\'nski space).…

Given a polynomial $x \in {\mathbb R}^n \mapsto p(x)$ in $n=2$ variables, a symbolic-numerical algorithm is first described for detecting whether the connected component of the plane sublevel set ${\mathcal P} = \{x : p(x) \geq 0\}$…

We study injective versions of the characterization of sets potentially in a Wadge class of Borel sets, for the first Borel and Lavrentieff classes. We also study the case of oriented graphs in terms of continuous homomorphisms, injective…

In first order logic, it is known that you can define a topology so that the countable models of some theory $T$ form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational…

After a short review of the historical milestones on normal numbers, we introduce the Borel numbers as the reals admitting a probability function on their different bases representations. In this setting, we provide two probabilistic…

Let $A$ be an abelian variety over ${\bf C}$ of dimension $n$ and $\pi\colon {\bf C}^n \rightarrow A$ be the complex uniformisation. Let $X$ be an unbounded subset of ${\bf C}^n$ definable in a suitable o-minimal structure. We give a…

We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…

We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.

We present a general method of constructing an uncountable family of regular Borel measures on certain path spaces of Lipschitz functions having fixed Lipschitz constants. We use this method to give a definition of Lebesgue measure and…

We give descriptions of metrizable topological spaces that are images of the Sorgenfrey line under continuous maps of different types (open, closed, quotient and others). To obtain this descriptions, we introduce the notion of a Lusin…

We prove in this article that every Borelian measure, for example, the distribution of a random variable, in separable Banach space has a support which is compact embedded Banach subspace; and prove that if the norm of the random variable…

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

Let $X=G/H$ be a spherical variety over an algebraically closed field of characteristic $p\ge0$. We compute the $p'$-parts of $\pi_0(H)$ and $\pi_1(X)$ from the spherical system of $X$.