Related papers: Uniform logical proofs for Riesz representation th…
The analytical foundations of modern probability trace back to a sequence of representation theorems that reshaped functional analysis in the twentieth century. From Fr\'echet identification of linear functionals with vectors in Hilbert…
We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…
We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the…
We present a Riesz integral representation theory in which functions, operators and measures take values in uniform commutative monoids (a commutative monoid with a uniformity making the binary operation of the monoid uniformly continuous).…
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…
We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz…
We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some…
We review the relation between compact asymptotic spectral measures and certain positive asymptotic morphism on locally compact spaces via asymptotic Riesz representation theorem, as introduced by Martinez and Trout [3]. Applications to…
Notions of convergence and continuity specifically adapted to Riesz ideals I of the space of continuous real-valued functions on a Lindel\"of locally compact Hausdorff space are given, and used to prove Stone-Weierstra{\ss}-type theorems…
The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean subset logic is usually mis-specified as the special case of…
There has not been an established mathematical measure of evidence. Some Bayesians have argued that probability can be an objectively correct measure of ``rational degrees of belief,'' which we do not distinguish from evidence. However,…
We develop and use some key concepts of potential theory, such as balayage and duality between measures and their potentials, to study the distribution of masses of subharmonic functions while restrictions to their growth near the boundary…
We introduce the basic concepts related to subharmonic functions and potentials, mainly for the case of the complex plane and prove the Riesz decomposition theorem. Beyond the elementary facts of the theory we deviate slightly from the…
We generalise the Riesz representation theorems for positive linear functionals on $\mathrm{C}_{\mathrm c}(X)$ and $\mathrm{C}_{\mathrm 0}(X)$, where $X$ is a locally compact Hausdorff space, to positive linear operators from these spaces…
The classic Riesz representation theorem characterizes all linear and increasing functionals on the space $C_{c}(X)$ of continuous compactly supported functions. A geometric version of this result, which characterizes all linear increasing…
We present a new proof of the F. & M. Riesz theorem on analytic measures of the unit circle $\mathbb{T}$ that is based the following elementary inequality: If $f$ is analytic in the unit disc $\mathbb{D}$ and $0 \leq r \leq \varrho < 1$,…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
This extended abstract presents a logic, called Lp, that is capable of representing and reasoning with a wide variety of both qualitative and quantitative statistical information. The advantage of this logical formalism is that it offers a…
The aim of this paper is to extend probability theory from the classical to the product t-norm fuzzy logic setting. More precisely, we axiomatize a generalized notion of finitely additive probability for product logic formulas, called…
This tutorial gives an overview of some of the basic techniques of measure theory. It includes a study of Borel sets and their generators for Polish and for analytic spaces, the weak topology on the space of all finite positive measures…