Related papers: Lebesgue classes and preparation of real construct…

Several results in functional analysis are extended to the setting of $L^0$-modules, where $L^0$ denotes the ring of all measurable functions $x\colon \Omega\to \mathbb{R}$. The focus is on results involving compactness. To this end, a…

Several concepts of approximate reasoning in uncertainty processing are linked to the processing of distribution functions. In this paper we make use of probabilistic framework of approximate reasoning by proposing a Lebesgue-type approach…

An algebraic version of Kashiwara and Schapira's calculus of constructible functions is used to describe local topological properties of real algebraic sets, including Akbulut and King's numerical conditions for a stratified set of…

We construct uncountably generated algebras inside the following sets of special functions: Sierpi\'nski-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this…

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the…

In this paper we discuss function spaces on a general noncompact Lie group, namely the scales of Triebel--Lizorkin and Besov spaces, defined in terms of a sub-Laplacian with drift. The sub-Laplacian is written as negative the sum of squares…

We show that if $X$ is an $m$-dimensional definable set in $\mathbb{R}^\text{pow}_\text{an}$, the structure of real subanalytic sets with real power maps added, then for any positive integer r there exists a $C^r$-parameterization of X…

A class of vector-valued elliptic operators with unbounded coefficients, coupled up to the second-order is investigated in the Lebesgue space $L^p(\mathbb R^d;\mathbb R^m)$ with $p \in (1,\infty)$, providing sufficient conditions for the…

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

This paper argues that mathematical objects are constructions and that constructions introduce a flexibility in the ways that mathematical objects are represented (as sets of binary sequences for example) and presented (in a particular…

We give a simple proof of a fairly flexible comparison theorem for equations of the type $-(p(u'+su))'+rp(u'+su)+qu=0$ on a finite interval where $1/p$, $r$, $s$, and $q$ are real and integrable. Flexibility is provided by two functions…

Let $\mathcal{E}$ denote the space of entire functions with the topology of uniform convergence on compact sets. The action of $\mathbb C$ by translations on $\mathcal E$ is defined by $T_zf(w) = f(w+z)$. Let $\mathcal{U}$ denote the set of…

The famous Carleson-Hunt theorem has been in focus of interest for a long time. This theorem concerns convergence almost everywhere of Fourier series of $f\in L_p$ functions for $1<p\leq \infty.$ Kolmogorov constructed a function $f\in L_1$…

In Chapter 3 of his Notes on constructive mathematics, Martin-L{\"o}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable…

We generalise a result of Sawyer to show the following: For each y\in R^p and w\in R^q let \Gamma(y,w) be a measurable d-dimensional surface in R^n. Under conditions on the number of parameters and smoothness assumptions, there exists a set…

Let $E$ be a Lebesgue measurable subset of ${\mathbb R}^n$, $p\in [1,\infty)$. We consider the subspace $Y\subset L^p(E)$, which is an annihilator of the Lebesgue measurable ${{\cal L}^{n}}$-a.e. finite function $g$ that does not belong to…

A non-negative function f, defined on the real line or on a half-line, is said to be directly Riemann integrable (d.R.i.) if the upper and lower Riemann sums of f over the whole (unbounded) domain converge to the same finite limit, as the…

We study the mean-value harmonic functions on open subsets of $\mathbb{R}^n$ equipped with weighted Lebesgue measures and norm induced metrics. Our main result is a necessary condition saying that all such functions solve a certain…

We show that if n>1 then there exists a Lebesgue null set in R^n containing a point of differentiability of each Lipschitz function mapping from R^n to R^(n-1); in combination with the work of others, this completes the investigation of…