Related papers: On submeasures on Boolean algebras
In the present article, we study Bell based Euler polynomial of order {\alpha} and investigate some useful correlation formula, summation formula and derivative formula. Also, we introduce some relation of string number of the second kind.…
Macaulay's theorem and Fr\"oberg's conjecture deal with the Hilbert function of homogeneous ideals in polynomial rings $S$ over a field $K$. In this short note we present some questions related to variants of Macaulay's theorem and…
We bring a precision to our cited work concerning the notion of "Borel measures", as the choice among different existing definitions impacts on the validity of the results.
It is known a method for converting a system of Boolean polynomial equations to a single Boolean polynomial equation with less variables. In this paper, we show a formula for systems of Boolean polynomial equations which is based on the…
We describe a construction of ordered algebraic structures (ordered abelian semigroups, ordered commutative semirings, etc.) and describe applications to codimension-1 laminations. For a suitable ordered semi- algebraic structure $\mathbb…
We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to…
We analyze a system of linear algebraic equations whose solutions lead to a proof of a generalization of Boole's formula. In particular, our approach provides an elementary and short alternative to Katsuura's proof of this generalization.
It is known that every function with a finite support over a given field can be interpolated by means of the Lagrangian polynomial. The question is if a similar interpolation is possible if one considers a unitary ring or a Boolean algebra…
Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when…
It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.
There exists a complete atomless Boolean algebra that has no proper atomless complete subalgebra.
It is shown that the Euler-Lagrange equations for a Lagrangian system on a Lie algebroid are obtained as the equations for the critical points of the action functional defined on a Banach manifold of curves. The theory of reduction and the…
The paper deals with the configuration of subalgebras in generic $n$-dimensional $k$-argument anticommutative algebras and ``regular'' anticommutative algebras.
We prove several results on homogeneous plurisubharmonic polynomials on $\mathbb{C}^n$, $n\in\mathbb{Z}_{\geq 2}$. Said results are relevant to the problem of constructing local bumpings at boundary points of pseudoconvex domains of finite…
We present more planar algebraic construction of subfactors than those of Guionet-Jones-Shlyakhtenko-Walker and Kodiyalam-Sunder which start from a subfactor planar algebra and give in a direct way a subfactor of the same standard invariant…
We re-derive Thales, Pythagoras, Apollonius, Stewart, Heron, al Kashi, de Gua, Terquem, Ptolemy, Brahmagupta and Euler's theorems as well as the inscribed angle theorem, the law of sines, the circumradius, inradius and some angle bisector…
A simple way to generate a Boolean function is to take the sign of a real polynomial in $n$ variables. Such Boolean functions are called polynomial threshold functions. How many low-degree polynomial threshold functions are there? The…
We develop a theory that may be considered as a prequel to the coarse theory. We are viewing ends of spaces as extra points at infinity. In order to discuss behaviour of spaces at infinity one needs a concept (a measure) of approaching…
We build models using an indiscernible model sub-structures of ${\kappa} \ge {\lambda}$ and related more complicated structures. We use this to build various Boolean algebras.
In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies…