The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
33 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 ...
11
votes
4answers
899 views

Jonsson Boolean algebras?

Let us say that a mathematical structure of cardinality $\omega_1$ is Jonsson whenever every one of its proper substructures is countable. There are examples of Jonsson groups due to Shelah or ...
3
votes
2answers
107 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}$ ...
-2
votes
0answers
80 views

X^2e + X^e + 1 is irreducible for e which is a power of 3? [closed]

I am looking for a proof or reference to the fact that the trinomials of the form X^2e + x^e + 1 Are irreducible in GF(2) for e which is a power of 3. Please help! Lear
3
votes
1answer
109 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 ...
8
votes
2answers
322 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
2answers
228 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 ...
7
votes
1answer
260 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 ...
0
votes
0answers
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 ...
3
votes
1answer
92 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
1answer
71 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$ ...
2
votes
4answers
498 views

Products of Boolean algebras and probability measures thereon

These are really two questions, but the second presupposes the first. First, let $( B_i )_{i\in I}$ be an arbitrary family of Boolean algebras. I want to directly form a product of them that is like ...
1
vote
2answers
225 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
1answer
90 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
1answer
149 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?
7
votes
3answers
415 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 ...
4
votes
2answers
85 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
1answer
82 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
1answer
165 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
1answer
156 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
1answer
192 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
1answer
123 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
0answers
459 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 ...
9
votes
0answers
387 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 < ...
7
votes
2answers
434 views

subalgebra of a simple forcing

Let $\alpha > 0$ be any ordinal. Consider the forcing $Add(\omega,\alpha) * Add(\omega_1,1)$. Let $B$ be its boolean completion. Let $\dot{X}$ be the canonical $B$-name for the generic subset of ...
1
vote
1answer
145 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
1answer
142 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 ...
2
votes
2answers
328 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 ...
8
votes
1answer
296 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
3answers
197 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
1answer
181 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
1answer
225 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
2answers
278 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}$ ...
6
votes
2answers
465 views

Is there something like a Heyting Ring?

I would like to know whether a Heyting algebra gives rise to ring in a similar way that a Boolean algebra gives rise to a Boolean ring. In a Boolean algebra $(B,\lor,\land,\lnot,0,1)$ I can define ...
1
vote
1answer
145 views

translating a given boolean function to universal boolean function

A Boolean function U($z_1$, $z_2$ ..... , $z_m$) is universal for given n > 1 if it realizes all Boolean functions f($x_l$ ..... $x_n$) by substituting for each $z_i$ with a variable of the set {0, 1, ...
3
votes
2answers
336 views

Cohen algebra (generalization)

Let Bor($X$) = class of all borel subsets of $X$. Cohen algebra is defined as Bor(X) modulo the ideal of meager sets. The Cohen algebra has a combinatorial : it is the unique atomless complete ...
1
vote
0answers
116 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
1answer
101 views

distributive sublattices of atomistic ortholattices

Let $L$ be an atomistic ortholattice (i.e. every element can be written as a join of atoms) with top and bottom elements 0 and 1, and let $M$ be a distributive atomic sub-ortholattice of $L$. Is $M$ ...
1
vote
3answers
317 views

Why the preimage rather than image in Stone-type dualities.

I am seeking a deeper understanding of the representation of set-based objects in terms of Boolean algebras. Let $\wp(A)$ be the set of subsets of a set $A$. A relation $R \subseteq A \times B$ ...
1
vote
1answer
131 views

What can we infer about the size of a complete Boolen algebra, given it is $\kappa$-c.c.?

More specifically, if we only know that a complete Boolean algebra, $\mathbf{B}$, is $\kappa$-c.c., can we give a (reasonably tight) upper bound to the size of $\mathbf{B}$ in terms of $\kappa$? ...
3
votes
1answer
113 views

perfect space without convergent long sequences

Is there a boolean space $X$ without isolated points with the property that no point $x\in X$ is the limit of a long sequence $(x_i)_{i\in I}$ from $X\setminus \lbrace x\rbrace $ ('long sequence' here ...
1
vote
3answers
240 views

Cardinality of the set of maximal ideals in a Boolean ring/algebra

If B is a Boolean ring is of uncountable cardinality c, does B have 2^c distinct maximal ideals ? Can you please give me a reference where this question is answered (hopefully) positively ? Thanks
6
votes
2answers
1k views

An exercise in Jech's Set Theory

I had a hard time trying to solve exercise 7.24 in Jech's book (3rd edition, 2003) and finally came to the conclusion that the result there, which should be proved might be wrong. The claim goes like ...
5
votes
2answers
350 views

Suslin algebras

A Suslin algebra is a generalization of a Suslin tree: it is a ccc, $(\omega,\infty)$-distributive boolean algebra. Jech proved that every Suslin algebra has size at most $2^{\omega_1}$. A proof is ...
5
votes
2answers
172 views

Quotients of Cantor cubes onto spaces

Let $\lambda$ be an infinite cardinal. Consider the Cantor cube $\Delta_\lambda = \{0,1\}^\lambda$. It is a standard fact in topology that the topological weight (= minimal cardinality for a basis) of ...
3
votes
1answer
144 views

Algebras with countable chains only

Is there an example of an uncountable Boolean algebra $B$ in which every chain is countable and such that $\ell_\infty$ embeds into the Banach space $C(\mbox{Stone }B)$? The latter requirement is not ...
2
votes
1answer
128 views

Independent families and chains

My question will be very short. Suppose we have a Boolean algebra $B$ which admits an uncountable independent family. Does it follow that there is an uncountable chain of elements in $B$? ...
5
votes
1answer
189 views

On intermediate transitive models for ZFC between M an M[G]

Let $P$ be a forcing notion. Let $B(P)$ be the boolean completion of $P$ and $i : P \rightarrow B(P)$ be the corresponding dense embedding (in $B(P)^{+}$). Let $G$ be $B(P)$-generic over $M$, the ...
4
votes
1answer
186 views

Categorical properties of metric Boolean algebras

According to Kolmogorov ("Algèbres de Boole métriques complètes", VI Zjazd Matematykòw Polskich, 1948, english translation Phil. Studies, 1995, 77, 57-66), a Boolean algebra $(B, \wedge, \vee,-,1,0)$ ...
3
votes
2answers
339 views

The category of Boolean-valued models associated to a model of ZFC

This is related to my previous question here, and indirectly motivated by Andreas Blass intriguing answer therein: start from a ZF transitive model $M$, and consider the category $CBA(M)$ of ...