Related papers: Depth of Boolean algebras
A depth two extension $A \| B$ is shown to be weak depth two over its double centralizer $V_A(V_A(B))$ if this is separable over $B$. We consider various examples and non-examples of depth one and two properties. Depth two and its…
We continue the exploration of various aspects of divisibility of ultrafilters, adding one more relation to the picture: multiplicative finite embeddability. We show that it lies between divisibility relations $\mid_M$ and…
An infinite family of Boolean polynomials which correspond to the discrete average maps, defined in [2], is constructed and their algebraic and combinatorial properties are investigated. They turn out to be balanced, and some recurrence…
We study the power of negation in the Boolean and algebraic settings and show the following results. * We construct a family of polynomials $P_n$ in $n$ variables, all of whose monomials have positive coefficients, such that $P_n$ can be…
It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure.
We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral…
As a generalization of Hausdorff's extension theorem of metrics, we prove an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we investigate typicality of subsets of moduli…
If $\frak g$ is a complex simple Lie algebra, and $k$ does not exceed the dual Coxeter number of $\frak g$, then the k$^{th}$ coefficient of the $dim \frak g$ power of the Euler product may be given by the dimension of a subspace of…
A theorem is proved concerning approximation of analytic functions by multivariate polynomials in the $s$-dimensional hypercube. The geometric convergence rate is determined not by the usual notion of degree of a multivariate polynomial,…
Two results on product of compact filters are shown to be the common principle behind a surprisingly large number of theorems.
We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a…
We give an elementary proof of an analogue of Fej\'er's theorem in weighted Dirichlet spaces with superharmonic weights. This provides a simple way of seeing that polynomials are dense in such spaces.
Even a functor without an adjoint induces a monad, namely, its codensity monad; this is subject only to the existence of certain limits. We clarify the sense in which codensity monads act as substitutes for monads induced by adjunctions. We…
The origin and interplay of products and dualities in algebraic (co)homology theories is ascribed to a $\times_A$-Hopf algebra structure on the relevant universal enveloping algebra. This provides a unified treatment for example of results…
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are…
Let $A$ be an artinian algebra, and let $\mathcal{C}$ be a subcategory of mod$A$ that is closed under extensions. When $\mathcal{C}$ is closed under kernels of epimorphisms (or closed under cokernels of monomorphisms), we describe the…
We characterize various Menger/Rothberger related properties by means of ultrafilter convergence, and discuss their behavior with respect to products.
Hilbert algebras are the implicative subreducts of Heyting algebras. It is shown that having depth at most n is an equational condition in Hilbert algebras. This generalizes an analogous well-known result in the setting of Heyting algebras.
We associate to each Boolean function a polynomial whose evaluations represents the distances from all possible Boolean affine functions. Both determining the coefficients of this polynomial from the truth table of the Boolean function and…
One proves that the Rees algebra of an ideal generated by three general binary forms of same degree $\geq 5$ has depth one. The proof hinges on the behavior of the Ratliff-Rush filtration for low powers of the ideal and on establishing that…