Related papers: De Vries powers: a generalization of Boolean power…

We introduce a symmetric operad $\square p$ ("box-op") which describes a certain calculus of rectangular labeled ``boxes''. Algebras over $\square p$, which we call box operads, have appeared under the name of fc multicategories in work by…

A further significant extension is presented of the infinitely large class of differential algebras of generalized functions which are the basic structures in the nonlinear algebraic theory listed under 46F30 in the AMS Mathematical Subject…

For a $C_0(X)$-algebra $A$, we study $C(K)$-algebras $B$ that we regard as compactifications of $A$, generalising the notion of (the algebra of continuous functions on) a compactification of a completely regular space. We show that $A$…

In this paper, we formulate and prove a version of the Stone-von Neumann Theorem for every $ C^{\ast} $-dynamical system of the form $ (G,\mathbb{K}(\mathcal{H}),\alpha) $, where $ G $ is a locally compact Hausdorff abelian group and $…

This paper discusses the approximation by %semigroups of operators of class ($\mathscr{C}_0$) on the sphere and focuses on a class of so called exponential-type multiplier operators. It is proved that such operators form a strongly…

Browder (1960) proved that for every continuous function $F : X \times Y \to Y$, where $X$ is the unit interval and $Y$ is a nonempty, convex, and compact subset of $\dR^n$, the set of fixed points of $F$, defined by $C_F := \{ (x,y) \in X…

Given a group $\Gamma,$ its Bohr compactification $\operatorname{Bohr}(\Gamma)$ and its profinite completion $\operatorname{Prof}(\Gamma)$ are compact groups naturally associated to $\Gamma$; moreover, $\operatorname{Prof}(\Gamma)$ can be…

Brouwer (1927) claimed that every function from the Baire space to natural numbers is induced by a neighbourhood function whose domain admits bar induction. We show that Brouwer's claim is provable in Heyting arithmetic in all finite types…

Using Ahlfors functions, Grunsky maps and the Bell representation theorem, we show that a certain subset of the rational maps of degree $n$ forms a trivial bundle over the moduli space of non-degenerate $n$-connected domains with one marked…

Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of 'degroupoidification': a…

For an effect algebra $A$, we examine the category of all morphisms from finite Boolean algebras into $A$. This category can be described as a category of elements of a presheaf $R(A)$ on the category of finite Boolean algebras. We prove…

This note contains a Stone-style representation theorem for compact Hausdorff spaces.

The Bohr compactification is a well known construction for (topological) groups and semigroups. Recently, this notion has been investigated for arbitrary structures in \cite{har_kun:bohr_discrete} where the Bohr compactification is defined,…

We extend Agler's notion of a function algebra defined in terms of test functions to include products, in analogy with the practice in real algebraic geometry, and hence the term preordering in the title. This is done over abstract sets and…

Let F(X,n):= X^n-\Delta be the complementary of the union \Delta of the diagonals of X^n and let U be a quotient of F(X,n) (possibly trivial) by a subgroup of the symmetric group S_n. We construct compactifications of U in products of…

We study a duality for the $n$-point functions in VEV formalism that we call the ordinary vs fully simple duality. It provides an ultimate generalisation and a proper context for the duality between maps and fully simple maps observed by…

Given a topological group $ G $ and a Hausdorff topological group $ A $ on which $ G $ acts continuously and compatibly with the group operation of $ A $, we study the set of continuous cocycles of $ G $ with value in $ A $. This set is a…

Hausdorff relation, topologically identifying points in a given space, belongs to elementary tools of modern mathematics. We show that if subtle enough mathematical methods are used to analyze this relation, the conclusions may be…

There is considerable current interest in applications of generalised Lie algebras graded by an abelian group $\Gamma$ with a commutative factor $\omega$. This calls for a systematic development of the theory of such algebraic structures.…

A Boolean algebra $\mathcal A$ has the Nikodym property if every pointwise bounded sequence of bounded finitely additive measures on $\mathcal A$ is uniformly bounded. Assuming the Diamond Principle $\Diamond$, we will construct an example…