Related papers: Representation of maxitive measures: an overview
We study Wiener-type covering lemmas, Hardy-Littlewood-type maximal functions, and convergence theorems on metric spacs. Later we specialize down to a result for the Poisson integral. We show that, in a suitably general setting, these three…
We introduce concepts of Radon MSJ and Radon disjointness for infinite Radon measure preserving homeomorphisms of the locally compact Cantor space. We construct an uncountable family of pairwise Radon disjoint infinite Chacon like…
Let $X$ be a Banach space, $\Sigma$ be a $\sigma$-algebra, and $m:\Sigma\to X$ be a (countably additive) vector measure. It is a well known consequence of the Davis-Figiel-Johnson-Pelcz\'{y}nski factorization procedure that there exist a…
By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for…
Infinite determinantal measures introduced in this note are inductive limits of determinantal measures on an exhausting family of subsets of the phase space. Alternatively, an infinite determinantal measure can be described as a product of…
Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or…
Consider a measured equivalence relation acting on a bundle of hyperbolic metric spaces by isometries. We prove that every aperiodic hyperfinite subequivalence relation is contained in a {\em unique} maximal hyperfinite subequivalence…
In the present work, a procedure for determining idempotents of a commutative ring having a sequence of ideals with certain properties is presented. As an application of this procedure, idempotent elements of various commutative rings are…
In this paper, we describe an algorithm for approximating functions of the form $f(x)=\int_{a}^{b} x^{\mu} \sigma(\mu) \, d \mu$ over $[0,1]$, where $\sigma(\mu)$ is some signed Radon measure, or, more generally, of the form $f(x) =…
We introduce a class of continuous maps f of a compact metric space I admitting inducing schemes and describe the tower constructions associated with them. We then establish a thermodynamical formalism, i.e., describe a class of real-valued…
Effectively inseparable pairs and their properties play an important role in the meta-mathematics of arithmetic and incompleteness. Different notions are introduced and shown in the literature to be equivalent to effective inseparability.…
We introduce a definition of pressure for almost-additive sequences of continuous functions defined over (non-compact) countable Markov shifts. The variational principle is proved. Under certain assumptions we prove the existence of Gibbs…
We establish a variety of numerical representations of preference relations induced by set-valued risk measures. Because of the general incompleteness of such preferences, we have to deal with multi-utility representations. We look for…
We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual…
The resultant plays a crucial role in (computational) algebra and algebraic geometry. One of the most important and well known properties of the resultant is that it is equal to the determinant of the Sylvester matrix. In 2008, Odagiri…
We prove that a commutative parasemifield S is additively idempotent provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively…
We present a natural and simple proof of the Radon - Nikodym theorem for measures with values in the space of bounded linear operators on a separable Hilbert space. This space is not separable, that is why it is essential to assume in the…
The rewriting system sigma is the set of rules propagating explicit substitutions in the lambda-calculus with explicit substitutions. In this note, we prove the undecidability of unification modulo sigma.
We study recurrence and transience for L\'{e}vy processes induced by topological transformation groups. In particular the transience-recurrence dichotomy in terms of potential measures is established and transience is shown to be equivalent…
A characterization of t-normed integrals was obtained in \cite{CLM} for finite compacta and in \cite{Rad} for the general case. Such characterization establishes a correspondence between the space of capacities and homogeneous respect…