Related papers: Continuous R-valuations

In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space.…

We construct a topos in which the Dedekind reals are countable. The topos arises from a new kind of realizability, which we call parameterized realizability, based on partial combinatory algebras whose application depends on a parameter.…

The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur…

Let $\mathrm{SO}^+(p,q)$ denote the identity connected component of the real orthogonal group with signature $(p,q)$. We give a complete description of the spaces of continuous and generalized translation- and $\mathrm{SO}^+(p,q)$-invariant…

We study $G_\delta$ subspaces of continuous dcpos, which we call domain-complete spaces, and $G_\delta$ subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those include all locally compact sober spaces-in…

We introduce and study a new type of convolution of probability measures called the orthogonal convolution, which is related to the monotone convolution. Using this convolution, we derive alternating decompositions of the free additive…

In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also…

In this paper we prove relationships between two generalizations of commutative valuation theory for noncommutative central simple algebras: (1) Dubrovin valuation rings; and (2) the value functions called gauges introduced by Tignol and…

We examine domain-valued maxitive measures defined on the Borel subsets of a topological space. Several characterizations of regularity of maxitive measures are proved, depending on the structure of the topological space. Since every…

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let $\mathcal R$ be either the ordered…

We establish higher integrability estimates for constant-coefficient systems of linear PDEs \[ \mathcal{A} \mu = \sigma, \] where $\mu \in \mathcal{M}(\Omega;V)$ and $\sigma\in \mathcal{M}(\Omega;W)$ are vector measures and the polar…

The interaction between discrete and continuous mathematics lies at the heart of many fundamental problems in applied mathematics and computational sciences. In this paper we discuss the problem of discretizing vector-valued functions…

In this work, we study a continued fractions theory for the topological completion of the field of Puiseux series. As usual, we prove that any element in the completion can be developed as a unique continued fractions, whose coefficients…

We prove that almost every level set of a Sobolev function in a planar domain consists of points, Jordan curves, or homeomorphic copies of an interval. For monotone Sobolev functions in the plane we have the stronger conclusion that almost…

This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the…

In this work we investigate and characterize linear functionals $L:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}$ with absolutely continuous representing measures $\mu$, i.e., $\mathrm{d}\mu(x) = g(x)\,\mathrm{d} x$ for some density $g$. We focus…

Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod…

Continuous submodular functions are a category of generally non-convex/non-concave functions with a wide spectrum of applications. The celebrated property of this class of functions - continuous submodularity - enables both exact…

In this article, we give a full description of a topological many-one degree structure of real-valued functions, recently introduced by Day-Downey-Westrick. We also point out that their characterization of the Bourgain rank of a Baire-one…

We define an integral of real-valued functions with respect to a measure that takes its values in the extended positive cone of a partially ordered vector space $E$. The monotone convergence theorem, Fatou's lemma, and the dominated…