The boolean-algebras tag has no usage guidance.

**-5**

votes

**0**answers

17 views

### Simplifying Boolean logic expression [closed]

The original equation was:
~(~B*~C+A) + A + B*A + D*A
I managed to simplify it to:
~A*(B+C)+A+B*C
And the answer is :
...

**0**

votes

**1**answer

30 views

### About equalizer of Boolean algebras

Let $A,B$ be complete Boolean algebras and $\varphi,\psi:A\rightarrow B$ be
maps preserving $0,1$, and arbitrary joins and meets. Let $C$ be the equalizer of these two; so $C=\left\{a\in ...

**2**

votes

**1**answer

53 views

### Regular open Boolean algebras and homomorphism which does not preserve nearness of sets

I am looking for an example of topological spaces $\langle X_1,\mathscr{O}_1\rangle$ and $\langle X_2,\mathscr{O}_2\rangle$ such that
there is a homomorphism ...

**8**

votes

**1**answer

175 views

### Boolean-Valued Models: Why is $\| x=y \| \cdot \| \phi(x) \| \leq \| \phi(y) \|$?

Let $B$ be a complete Boolean algebra. Jech defines a Boolean-valued model $\mathfrak{A}$ of the language of set theory to consist of a Boolean universe $A$ and functions of two variables with values ...

**2**

votes

**1**answer

82 views

### Complexity of Deciding Feasibility of a system of linear inequalities over restricted variables

I am working out an interesting problem and would like some help with this particular sub problem:
Suppose we have a matrix $ M =\left\lbrace a_{ij}\right\rbrace $ of size $n\times m$ where $ ...

**0**

votes

**1**answer

91 views

### Boolean algebras and free filters generated by chains

Suppose $\mathbf{B}$ is a complete Boolean algebra with an infinite domain $B$. Suppose $\mathbf{B}$ is atomic (i.e. every element is the supremum of some set of atoms). This algebra contains the ...

**6**

votes

**0**answers

163 views

### rigidity of $\mathcal P(\omega_1) / NS$ under MA

In Woodin's book, Lemma 5.100 asserts that if $MA_{\omega_1}$ holds and there is an $\omega_2$-saturated ideal $I$ on $\omega_1$, then $\mathcal P(\omega_1)/I$ is a rigid boolean algebra, meaning it ...

**5**

votes

**1**answer

138 views

### (A kind of) Irreducibiliy of regular open convex sets in the Cartesian space

I am looking for a proof of the fact which is formulated at the bottom of this post. The property of regular convex sets which the fact expresses seems to be true to me, yet I have not been able to ...

**4**

votes

**1**answer

180 views

### Cohen algebra and $\mathcal P(\omega)/ \mathrm{fin}$

Let $C$ be the Cohen algebra, the boolean completion of the partial order of finite partial functions from $\omega$ to 2, ordered by reverse inclusion. Does there exist an ideal $I$ on $C$ such that ...

**7**

votes

**1**answer

200 views

### Introducing meets while preserving directed closure

A poset $\mathbb{P}$ is called well-met iff every pair of compatible conditions in $\mathbb{P}$ has a greatest lower bound.
Question: Suppose $\mathbb{P}$ is a separative partial order which is ...

**6**

votes

**1**answer

161 views

### completions of regular suborders

Suppose $\mathbb{P}$ is a regular suborder of the separative partial order $\mathbb{Q}$ (see below for definitions). Must there always exist some complete boolean algebra $\mathbb{B}$ such that:
...

**6**

votes

**0**answers

141 views

### The dominating number $\mathfrak{d}$ and convergent sequences

All spaces considered below are compact Hausdorff.
If $K$ is a space, then $w(K)$ is its weight. For a Boolean algebra $\mathcal{A}$, $K_\mathcal{A}$ denotes its Stone space. I am interested in ...

**5**

votes

**1**answer

85 views

### If every contraction on a Boolean algebra has a maximum value, is that Boolean algebra complete?

If $B$ is a Boolean algebra, then a mapping $f:B\rightarrow B$ is said to be contractive (or a contraction) if $f(a)+f(b)\leq a+b$ for each $a,b\in B$ where $a+b=(a\wedge b')\vee(a'\wedge b)$ is the ...

**5**

votes

**0**answers

361 views

### Order theory as a foundation of mathematics?

I know the followings kinds of formalization of mathematics:
based on set theory (e.g. ZFC)
based on type theory (e.g. the formalism of Coq proof assistant, as an advanced example)
based on category ...

**7**

votes

**2**answers

706 views

### How do I apply the Boolean Prime Ideal Theorem?

I have become aware of an amazing phenomenon from a myriad of questions and answers here on MathOverflow: many of the results that I would typically prove using the Axiom of Choice can actually be ...

**3**

votes

**0**answers

188 views

### What algebraic identities does the iteration of forcing operation satisfy?

Let $G$ be the set of all formulas $\phi(x)$ in the language of such that $ZFC\vdash\exists x\phi(x)$ exists, $ZFC\vdash\phi(x)\rightarrow``x\,\textrm{is a complete Boolean algebra}"$, ...

**5**

votes

**1**answer

181 views

### Comparing cardinalities of the spectrum of two masas in $B(H)$

If I imagine that (the self-adjoint part of) a C*-algebra $A$ represents the algebra of observables of some quantum system, then certain perspectives on algebraic quantum theory would ask me to ...

**5**

votes

**3**answers

142 views

### Product of binary Boolean operators

I asked this question a day ago on math.stackoverflow but figured it could have an interest here.
I'm interested in the set $\mathcal{P}_N$ of boolean functions of boolean variables $p_1, p_2, ...

**4**

votes

**2**answers

314 views

### Proving results about complete Boolean algebras in ZFC using Boolean valued models

I want to know what non-trivial ZFC theorems (not consistency results) about complete Boolean algebras (or more generally of partially ordered sets) one can prove using forcing.
I am mainly ...

**0**

votes

**1**answer

346 views

### How to recognize if a lattice is distributive? [closed]

I know that a Boolean lattice must be distributive.
But what with these lattices? Are these distributive?
$\hskip0.7in$
How to recognize which lattices are distributive or not only by looking on ...

**2**

votes

**0**answers

114 views

### Number of degree $k$ functions [closed]

Given a Boolean function $f:\{0,1\}^n\rightarrow\{0,1\}$, there is a real multivariate multilinear polynomial that is associated with in through interpolation.
Example: ...

**1**

vote

**0**answers

44 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 ...

**0**

votes

**0**answers

182 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 ...

**3**

votes

**1**answer

112 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 ...

**3**

votes

**1**answer

261 views

### Systems of equations in Boolean Algebra

I have to study systems of equations in a Boolean algebra, the matrix is $m\times n$ with $m\neq n$. The Boolean algebra is actually the simplest one, it contains only $0$ and $1$, let us denote it by ...

**4**

votes

**2**answers

229 views

### About a construction of Borel $\sigma$-algebra associated to a lattice

Let $(\mathcal{A}, \cup, \cap)$ a lattice (with minimum and maximum elements $\bot$ and $\top$).
Let $X\subset \mathcal{A}$ a generator set (a set of minimal cardinality that generate $\mathcal{A}$ ...

**8**

votes

**2**answers

373 views

### centeredness in forcing iterations

Suppose $A$ is a complete subalgebra of a complete boolean algebra $B$, and $B$ is $\kappa$-centered. Let $G \subset A$ be a generic ultrafilter. Is $B/G$ $\kappa$-centered in $V[G]$?
Naively, we ...

**2**

votes

**2**answers

360 views

### System of boolean equations, Satisfiability

Are there any methods to "solve" large systems of boolean equations?
$$x_{i1}\vee x_{i2}\vee x_{i3} = b_i, \quad\text{for}\quad i=1,\dots,N,$$
where $x_i, b_i \in\{0, 1\}$
For example
$$x_{1}\vee ...

**8**

votes

**1**answer

295 views

### On $V$-decisive and weakly homogeneous forcings

Suppose that $\Bbb P$ is a forcing in $V$, we say that $\Bbb P$ is $V$-decisive if whenever $\varphi(x_1,\ldots,x_n)$ is a statement in the language of forcing, and $u_1,\ldots,u_n\in V$ then $1_{\Bbb ...

**3**

votes

**1**answer

121 views

### Boolean completion (of a forcing notion) isomorphic to each of its cones

Suppose $ \mathbb{P} := (P, {\leq_P}, 1_P) $ is a separative partial order. Let $ \mathbb{B} := \operatorname{RO}(\mathbb{P}) $ denote the Boolean completion.
Fix some dense embedding $ i \colon P ...

**-4**

votes

**1**answer

118 views

### How to find matrix representations of a boolean algebra? [closed]

Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$.
How to find matrix representations of the elements such that:
boolean $\cup$ ...

**1**

vote

**2**answers

250 views

### Question on separability of a measure

Following this question here this question come to mind.
Consider a measured σ-algebra $(S,\mu)$ . Assume that μ is normalized to have total weight 1, and that S is complete (contains all subsets of ...

**1**

vote

**1**answer

100 views

### Krull dimension of dense extensions

Let $A$ be a boolean algebra and let $B\leq A$ be a boolean sub-algebra which is dense (for all $0\neq a\in A$, there is a $0\neq b\in B$ such that $b\leq a$). We suppose also that $B$, as a partially ...

**2**

votes

**1**answer

181 views

### Sigma-complete Lindenbaum algebras? [closed]

Is there any calculus whose algebraization is a sigma-complete Lindenbaum algebra, i.e., a sigma-complete Boolean algebra after identification of equivalent formulas?

**4**

votes

**2**answers

109 views

### extending $\sigma$-complete boolean homomorphism

I'm not sure if this is research level, so feel free to vote to migrate.
Suppose we have a complete boolean algebra $A$, with a dense, $\sigma$-complete subalgebra $B$, and a $\sigma$-complete ...

**3**

votes

**1**answer

95 views

### existence of more distributive Boolean lattices

Are there a Boolean lattice $(X,\le)$ and a nonempty collection $(a_{ij})_{i\in I,j\in J}\subseteq X$ such that
$$\bigvee_{i\in I}\bigwedge_{j\in J}{a_{ij}}\ne \bigwedge_{f:I\to J}\bigvee_{i\in ...

**2**

votes

**1**answer

218 views

### The Universal Algebra of a sigma-Algebra

I am searching for the 'dual' algebraic structure of a Sigma Algebra. The notion of duallity is like on the case of the Boolean Algebra and Set Algera.
If X is a set, the complement and intersection ...

**-1**

votes

**1**answer

164 views

### Algebra generated by a tree [Edit] [closed]

Suppose that $(T,\leq)$ is a partially ordered set, we say $T$ is a tree* if for every $i\in T$, $\{s: s\in T, s\leq t\}$ is a well-founded chain.
What I need to know is: Can the algebra ...

**4**

votes

**1**answer

238 views

### Uncountable atomless subalgebras of the Boolean algebra of all Jordan measurable sets in [0,1]

Definition: Suppose $\mathcal A$ is
the Boolean algebra of all Jordan measurable sets in $I=[0,1]$ (i.e $\mathcal A=\{A\subseteq I: \mu(\partial(A))=0\}$, where $\mu$ is the Lebesgue measure and ...

**0**

votes

**1**answer

182 views

### additive measure on countable algebras

I was wondering, can the following theorem be true for finitely additive measures defined on algebras not $\sigma$-algebras. (Theorem is in Bogachev's Measure Theory Vol I).
I was not sure about ...

**8**

votes

**3**answers

708 views

### Which Sigma-Ideals in a Sigma-Algebra are Ideals of Null Sets?

My question is motivated, to be somewhat vague, by an attempt to see how much a measure space is defined by the set of null sets. In other words, assume we are not given a concrete measure on a space ...

**1**

vote

**1**answer

189 views

### Stone space of measure algebra [closed]

let $\lambda$ be the Lebesgue measure on the unit interval $I=[0,1]$, and $Leb(I)$ be the Boolean algebra of Lebesgue measurable in $I$ and $\mathcal{N}$ the family of Null sets. The measure algebra ...

**2**

votes

**1**answer

171 views

### Eigenvalues of a matrix constructed with simple logic

If a matrix can be constructed with simple bit-logic operations, is it also possible to find Eigenvalues with logic?
First I'll just say that my knowledge of logic is pretty much limited to ...

**8**

votes

**0**answers

542 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 ...

**10**

votes

**1**answer

330 views

### Nontrivially nontrivial automorphisms of $P(\omega_1)/fin$

Velickovic proved (Theorem 4.1 of OCA and automorphisms of $\mathcal{P}(\omega)/\mathrm{fin}$) that, assuming OCA and $\rm MA_{\aleph_1}$, every (Boolean algebra) automorphism of ...

**1**

vote

**3**answers

252 views

### Complete sets of functions

A (finite) set $S$ of boolean functions is called functionally complete if every boolean function can be presented as a finite composition of functions from $S$. For example, $\{ \neg,\wedge \}$ is ...

**9**

votes

**1**answer

204 views

### Independent families versus generators

I asked this question on M.SE a while ago and got no answers, so I'm asking it here.
Let $\kappa$ be an infinite cardinal. A family $\mathcal{A}\subseteq\mathcal{P}(\kappa)$ is independent if for ...

**0**

votes

**1**answer

335 views

### Algorithm to efficiently sum N boolean numbers. [closed]

I am looking for a fast algorithm to do the following task: Given $N$ numbers $a_i, i=1,..., N$, where $a_i$ can be equal to $0$ or $1$, compute the number $s \equiv \sum_{i=1}^N a_i$ in base 2. ...

**3**

votes

**2**answers

300 views

### How complete is $\mathcal P(\kappa)/J_{bd}$?

While it is true that $\mathcal P(\kappa)$ is a complete Boolean algebra, it is not necessarily true that $\mathcal P(\kappa)/I$ is complete for an ideal $I$. In particular if we consider $I=J_{bd}$ ...

**2**

votes

**2**answers

467 views

### Embedding a brouwerian lattice into a boolean lattice

I have already asked a similar question at
http://math.stackexchange.com/questions/470704/can-a-brouwerian-lattice-be-extended-into-a-boolean-algebra
but have received no answer.
Sorry, I ask a ...