相关论文: Many subalgebras of $\mathcal{P}(\omega)/\mathit{f…

We show that for a normal locally-${\mathscr P}$ space $X$ (where ${\mathscr P}$ is a topological property subject to some mild requirements) the subset $C_{\mathscr P}(X)$ of $C_b(X)$ consisting of those elements whose support has a…

We introduce the Boolean algebra of d-semialgebraic (more generally, d-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic…

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…

We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2^{|A|} = 2^{|B|}. This implies in particular that B has 2^{|B|} subalgebras. We also discuss…

Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras…

We investigate the set-theoretic properties of the lattice of projections in the Calkin algebra of a separable infinite-dimensional Hilbert space in relation to those of the Boolean algebra $P(\omega)/{\rm fin}$, which is isomorphic to the…

We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit…

It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a…

Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as…

We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters…

It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.

For an ordinal $\alpha$, $\sf PEA_{\alpha}$ denotes the class of polyadic equality algebras of dimension $\alpha$. We show that for several classes of algebras that are reducts of $\PEA_{\omega}$ whose signature contains all substitutions…

We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an $\omega$-categorical algebra $\mathfrak{A}$. There are $\omega$-categorical groups where this problem is…

Let $\pi: Y\rightarrow X$ be a continuous surjection between compact Hausdorff spaces $Y$ and $X$ which is irreducible in the sense that if $F\subsetneq Y$ is closed, then $\pi(F)\neq X$. We exhibit isomorphisms between various Boolean…

A Boolean $\sigma$-algebra $B$ is a measure algebra if and only if it is weakly distributive and uniformly concentrated.

For a space $X$ denote by $C_b(X)$ the Banach algebra of all continuous bounded scalar-valued functions on $X$ and denote by $C_0(X)$ the set of all elements in $C_b(X)$ which vanish at infinity. We prove that certain Banach subalgebras $H$…

We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise…

There exists a complete atomless Boolean algebra that has no proper atomless complete subalgebra.

The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this paper, we describe a choice-free…