相关论文: Algebraic characterizations of measure algebras
In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show…
We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…
We generalize the strategy presented in Refs. [1, 2], and propose general conditions for a measure of total correlations to be an entanglement monotone using its pure (and mixed) convex-roof extension. In so doing, we derive crucial…
We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf{q}_\omega$-compact or $\mathbf{u}_\omega$-compact. Also…
A survey of results for Mahler measure of algebraic numbers, and one-variable polynomials with integer coefficients is presented. Related results on the maximum modulus of the conjugates (`house') of an algebraic integer are also discussed.…
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
We deal with finitely additive measures defined on all subsets of natural numbers which extend the asymptotic density (density measures). We consider a class of density measures which are constructed from free ultrafilters on natural…
We give necessary and sufficient condition for a sesquilinear form to be integrable with respect to a faithful normal state on a von Neumann algebra.
We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second,…
We describe a construction process of a relevant measure in any non-empty compact metric space. This probability measure has invariance properties with respect to isometric maps defined on open sets. These properties imply that this measure…
We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…
We study observables on monotone $\sigma$-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. The set of sharp elements of a monotone $\sigma$-complete homogeneous…
Using the notion of passport of a normed Boolean algebra, necessary and sufficient conditions for a $\ast$-isomorphism of $\ast$-algebras of log-integrable measurable functions are found.
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…
Suppose we are given two probability measures on the set of one-way infinite finite-alphabet sequences and consider the question when one of the measures predicts the other, that is, when conditional probabilities converge (in a certain…
In this paper, we define several measures induced by a finite directed graph. The study themselves is interesting ont only in the noncommutative probability point of view but also in the algebraic structure point of view, since to define…
We study realizable values of the length function for unital possibly nonassociative algebras of a given dimension. To do this we apply the method of characteristic sequences and establish sufficient conditions of realisability for a given…
There are versions of "calculus" in many settings, with various mixtures of algebra and analysis. In these informal notes we consider a few examples that suggest a lot of interesting questions.
The paper treats density measures as typical examples of finitely additive measures in $\mathbb{R}^n$. We study their structure and derive basic properties. In addition, estimates for related integrals are provided. The results are applied…
Let $L$ be a linear space of real bounded random variables on the probability space $(\Omega,\mathcal{A},P_0)$. There is a finitely additive probability $P$ on $\mathcal{A}$, such that $P\sim P_0$ and $E_P(X)=0$ for all $X\in L$, if and…