The boolean-algebras tag has no wiki summary.

**4**

votes

**1**answer

78 views

### Are epimorphisms (defined via an obvious action) of free Boolean algebras whose set of generators is a group automorphisms?

Let $G$ be a group. Consider $B$, the free Boolean algebra with generating set (I'll call them "variables") $G$. Let $F$ be some formula (that is, some fixed element of $B$). Define an endomorphism ...

**13**

votes

**0**answers

538 views

### Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...

**9**

votes

**0**answers

398 views

### Existence of a regular subposet which collapses everything except the top cardinal

Suppose $\delta$ is an inaccessible cardinal, and $\mathbb{P}$ is the Levy Collapse $\text{Col}(\kappa, \delta)$ which adds a surjection from $\kappa \to \delta$ (for some regular $\kappa < ...

**8**

votes

**0**answers

478 views

### Full conditional probabilities and versions of AC?

A probability is a finitely additive measure on a boolean algebra with total measure $1$.
A function $P:\scr B \times (\scr B - \{ 0 \})$ is a full conditional probability on $\scr B$ (for a boolean ...

**6**

votes

**0**answers

226 views

### Counting Copies of a BA within a BA: Arbitrarily Many versus Infinitely Many

Informally, I am wondering if a Boolean algebra $\mathcal{B}$ contains infinitely many disjoint copies of a Boolean algebra $\mathcal{A}$ whenever it contains arbitrarily many disjoint copies of ...

**1**

vote

**0**answers

42 views

### Embedding a collection of finite subsets efficiently

Are there any general non-trivial methods for solving the following problem?
Suppose one has a collection of subsets $\mathcal{C} \subseteq \mathcal{P}\mathcal{P}\{1,\dots,n\}$. They may be viewed ...

**1**

vote

**0**answers

51 views

### Measure algebras and their subalgebras

Let $A,B$ be two Boolean algebra with measures $m,p$ thereon, respectively such that the measure algebra $(A,m)$ is isomorphic to the measure algebra $(B,p)$. Suppose that we have two isomorphic ...

**1**

vote

**0**answers

119 views

### Can random elements be defined in terms of a measure algebra?

Let $(\Omega,\Sigma,\mu)$ be a probability space, $(X,\mathcal{X})$ be a measurable space and $R(\Omega,X)$ be the set of equivalence classes of measurable functions from $\Omega$ to $X$ under almost ...

**1**

vote

**0**answers

207 views

### Defining filters in closure algebras: reference request

A closure algebra C is a boolean algebra B together with a unary closure operator, and additional axioms, the Kuratowski axioms, that the closure operator must satisfy. (The Wikipedia article prefers ...

**0**

votes

**0**answers

159 views

### Wolfram's axiom completeness

I have been reading Wolfram's A New Kind of Science, and as I was reading the section on systems of logic and axioms, I came across this axiom, for which all of the normal axioms of Boolean logic can ...

**0**

votes

**0**answers

26 views

### Find relationships between events

I have a set of Events $(E_i)_i$ which have a probability $(P_i)_i$.
I am able to write each event as a sum of distinct events that form a partition of the space.
My goal is to find all the ...