Related papers: Preservation of the Borel class under open-$LC$ fu…

Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is…

We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function.…

A language L is low for a relativizable complexity class C, if C$^L$ = C. For the classes #P, GapP, and SpanP the exact low classes of languages are known: Low(#P) = UP $\cap$ coUP, Low(GapP) = SPP, and Low(SpanP) = NP $\cap$ coNP. In this…

We provide the following result and its discrete equivalent: Let $f \colon I^n \to \mathbb{R}^{n-1}$ be a continuous function. Then, there exist a point $p \in \mathbb{R}^{n-1}$ and a compact subset $S \subset…

We show that any open set in $\R^n$ is a union of an ascending sequence of bounded open sets with analytic boundary. This is just a technical result, which is probably known. We believe, however, that it can be useful for studing BVPs on…

Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_\sigma$ set under it is…

Approximations of the image and integral funnel of the closed ball of the space $L_p,$ $p>1,$ under Urysohn type integral operator are considered. The closed ball of the space $L_p,$ $p>1,$ is replaced by the set consisting of a finite…

We prove several improved versions of the Borel-Ritt theorem about the surjectivity of the asymptotic Borel mapping in classes of functions with $\boldsymbol{M}$-uniform asymptotic expansion on an unbounded sector of the Riemann surface of…

Let $f$ be an $R$-closed homeomorphism on a connected orientable closed surface $M$. In this paper, we show that If $M$ has genus more than one, then each minimal set is either a periodic orbit or an extension of a Cantor set. If $M =…

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper…

The dichotomy discovered by Solecki in \cite{Sol} states that any Baire class 1 function is either $\sigma$-continuous or "includes" the Pawlikowski function $P$. The aim of this paper is to give an argument which is simpler than the…

We consider the class of smooth convex functions defined over an open convex set. We show that this class is essentially different than the class of smooth convex functions defined over the entire linear space by exhibiting a function that…

Let $F$ be the category with the set of objects $\bf N$ and morphisms being the functions between the standard finite sets of the corresponding cardinalities. Let $Jf:F\rightarrow Sets$ be the obvious functor from this category to the…

We consider the intersection map on the family of non-empty $\omega$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction…

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…

This expository article is devoted to the notion of quasianalytic classes and the Borel mapping. Although quasianalytic classes are well known in analysis since several decades. We are interested in certain properties of Denjoy-Carleman's…

It is solved a problem of construction of separately continuous functions on the product of compacts with a given discontinuity points set. We obtaine the following results. 1. For arbitrary \v{C}ech complete spaces $X$, $Y$ and a separable…

For a completely regular space $X$, denote by $C_p(X)$ the space of continuous real-valued functions on $X$, with the pointwise convergence topology. In this article we strengthen a theorem of O. Okunev concerning preservation of some…

In view of the applications to the asymptotic analysis of a family of obstacle problems, we consider a class of convex local functionals $F(u,A)$, defined for all functions $u$ in a suitable vector valued Sobolev space and for all open sets…