English
Related papers

Related papers: Measures on Boolean algebras

200 papers

In this paper we investigate measures over bounded lattices, extending and giving a unifying treatment to previous works. In particular, we prove that the measures of an arbitrary bounded lattice can be represented as measures over a…

Commutative Algebra · Mathematics 2021-09-20 C. Massri , F. Holik

In this paper we provide a sufficient condition for a Furstenberg measure generated by a finitely supported measure to be absolutely continuous. Using this, we give a very broad class of examples of absolutely continuous Furstenberg…

Dynamical Systems · Mathematics 2025-06-25 Samuel Kittle

We present a collection of observations and results concerning submeasures on Boolean algebras. They are all motivated by Maharam's problem and Talagrand's construction that solved it.

Logic · Mathematics 2013-03-05 Omar Selim

For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is…

Logic · Mathematics 2007-05-23 Tapani Hyttinen , Saharon Shelah

Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…

Logic · Mathematics 2025-10-28 Xiaohao Liu , Heyan Wang , Wenjuan Chen

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…

Number Theory · Mathematics 2016-09-02 Ryoichi Kunisada

In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the…

Logic in Computer Science · Computer Science 2023-07-28 Branislav Boričić , Mirjana Ilić , Jelena Stanojević

We study when a map between two subsets of a Boolean domain W can be extended to an automorphism of W. Under many hypotheses, if the underlying Boolean algebra is complete or if the sets are finite or Boolean domains, the necessary and…

Logic · Mathematics 2014-09-15 Antonio Avilés

We introduce the notion of amenability for affine algebras. We characterize amenability by Folner-sequences, paradoxicality and the existence of finitely invariant dimension-measures. Then we extend the results of Rowen on ranks, from…

Rings and Algebras · Mathematics 2007-05-23 Gabor Elek

We give necessary and sufficient conditions for the Chebyshev inequality to be an equality.

Probability · Mathematics 2020-05-05 Adam Jakubowski

We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras.…

Logic · Mathematics 2013-04-03 Tarek Sayed Ahmed

We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of…

Logic · Mathematics 2016-09-06 Bohuslav Balcar , Thomas Jech , Jindřich Zapletal

We bring a precision to our cited work concerning the notion of "Borel measures", as the choice among different existing definitions impacts on the validity of the results.

Classical Analysis and ODEs · Mathematics 2015-03-19 Pascal Auscher , Tuomas Hytönen

In this paper we find necessary and sufficient conditions for the weak convergence of c-free convolution of pairs of measures, where the measures are assumed to be infinitesimal and their support may be unbounded. These results are obtained…

Operator Algebras · Mathematics 2008-05-13 Jiun-Chau Wang

We construct measure which determines a two-variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also…

Classical Analysis and ODEs · Mathematics 2023-12-06 Attila Losonczi

The regular open subsets of a topological space form a Boolean algebra, where the `join' of two regular open sets is the interior of the closure of their union. A `credence' is a finitely additive probability measure on this Boolean…

General Topology · Mathematics 2021-04-30 Marcus Pivato , Vassili Vergopoulos

The aim of the paper is to study epicomplete objects in the category of $MV$-algebras. A relation between injective $MV$-algebras and epicomplete $MV$-algebras is found, an equivalence condition for an $MV$-algebra to be epicomplete is…

Commutative Algebra · Mathematics 2016-09-13 Anatolij Dvurečenskij , Omid Zahiri

We prove the following completeness result about classical realizability: given any Boolean algebra with at least two elements, there exists a Krivine-style classical realizability model whose characteristic Boolean algebra is elementarily…

Logic in Computer Science · Computer Science 2022-09-20 Guillaume Geoffroy

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…

Quantum Physics · Physics 2010-09-07 Gerardo A. Paz-Silva , John H. Reina

A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy…

Rings and Algebras · Mathematics 2007-05-23 Arturo Magidin