相关论文: Complete sigma-centered Boolean algebra not adding…

Hindman's Theorem says that every finite coloring of the positive natural numbers has a monochromatic set of finite sums. Ramsey algebras, recently introduced, are structures that satisfy an analogue of Hindman's Theorem. It is an open…

We prove complete reducibility for an integrable module for an affine Lie algebra where the canonical central element acts non-trivially. We further prove that integrable modules does not exists for most of the super affine Lie algebras…

We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…

Similarly to noises, Boolean algebras of sigma-fields can be black. A noise may be treated as a homomorphism from a Boolean algebra of regular open sets to a Boolean algebra of sigma-fields. Spectral sets are useful also in this framework.

We construct a unital pre-C*-algebra $A_0$ which is stably finite, in the sense that every left invertible square matrix over $A_0$ is right invertible, while the C*-completion of $A_0$ contains a non-unitary isometry, and so it is…

Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that $\kappa,\lambda$ are infinite cardinals such that $\kappa^{+++} \leq \lambda$, $\kappa^{<\kappa}=\kappa$ and $2^{\kappa}= \kappa^+$, and…

We say that an ultrafilter on an infinite group $G$ is DTC if it determines the topological centre of the semigroup $\beta G$. We prove that DTC ultrafilters do not exist for virtually BFC groups, and do exist for the countable groups that…

Let $\mathbf{A}$ be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring). We investigate the Boolean power $\mathbf{D}$ of $\mathbf{A}$ by the countable atomless Boolean algebra $\mathbf{B}$ filtered at some idempotents…

We study sufficient conditions under which a nowhere scattered C*-algebra $A$ has a nowhere scattered multiplier algebra $\mathcal{M}(A)$, that is, we study when $\mathcal{M}(A)$ has no nonzero, elementary ideal-quotients. In particular, we…

We say that a set $S$ is $\Delta^0_{(n)}(X)$ if membership of $n$ in $S$ is a $\Delta^0_{n}(X)$ question, uniformly in $n$. A set $X$ is low for $\Delta$-Feiner if every set $S$ that is $\Delta^0_{(n)}(X)$ is also…

A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$. It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a…

Estimation algebras have been extensively studied in Euclidean space, where finite-dimensional estimation algebras form the foundation of the Kalman and Benes filters, and have contributed to the discovery of many other finite-dimensional…

We study two generalizations of the Rudin-Keisler ordering to ultrafilters on complete Boolean algebras. To highlight the difference between them, we develop new techniques to construct incomparable ultrafilters in this setting.…

To constitute atoms of a $\sigma$ algebra is not a easy task due to the large number of its elements. However, determining them via generators seems a feasible and simple way since most $\sigma$ algebras are generated by their smaller…

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…

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

We study some properies of $Z^{*}$ algebras, thos C^* algebra which all positive elements are zero divisors. We show by means of an example that an extension of a Z* algebra by a Z* algebra is not necessarily Z* algebra. However we prove…

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…

We prove that bold N, the standard model of arithmetic, has an uncountable elementary extension N such that there is no ultrafilter on the Boolean Algebra of subsets of bold N represented in N which is minimal (i.e. as in Rudin-Keisler…