Related papers: A model in which every infinite Boolean algebra ha…
We show that a finite zero-sum-free sequence $\alpha$ over an abelian group has at least $c|\alpha|^{4/3}$ distinct subsequence sums, unless $\alpha$ is "controlled" by a small number of its terms; here $|\alpha|$ denotes the number of…
We present a collection of observations and results concerning submeasures on Boolean algebras. They are all motivated by Maharam's problem and Talagrand's construction that solved it.
Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a…
The bilinear Bogolyubov argument for $\mathbb{F}_p^n$ states that if we start with a dense set $A \subseteq \mathbb{F}_p^n \times \mathbb{F}_p^n$ and carry out sufficiently many steps where we replace every row or every column of $A$ by the…
A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = \{a + b : a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. Sumsets are central objects of study in additive combinatorics, featuring in several influential…
We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…
Given a complete atomic Boolean algebra, we show there is a commutative BCK-algebra whose ideal lattice is that Boolean algebra. This result is shown to exist within a larger framework involving BCK-algebras of functions, whose ideals and…
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…
We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…
Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to…
We compare the forcing related properties of a complete Boolean algebra B with the properties of the convergences $\lambda_s$ (the algebraic convergence) and $\lambda_{ls}$ on B generalizing the convergence on the Cantor and Aleksandrov…
We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of…
We define and study large and stably large subalgebras of simple unital C*-algebras. The basic example is the orbit breaking subalgebra of a crossed product by Z, as follows. Let X be an infinite compact metric space, let h be a minimal…
Let W_n(K) be the Lie algebra of derivations of the polynomial algebra K[X]:=K[x_1,...,x_n] over an algebraically closed field K of characteristic zero. A subalgebra L of W_n(K) is called polynomial if it is a submodule of the K[X]-module…
The Jacobian algebra arising from a consistent dimer model is a bimodule $3$-Calabi-Yau algebra, and its center is a $3$-dimensional Gorenstein toric singularity. A perfect matching of a dimer model gives the degree making the Jacobian…
We prove that algebraic isomorphisms between limit algebras are automatically continuous, and consider consequences of this result. In particular, we give partial solutions to a conjecture of Power [Limit Algebras, Longman, 1992, Notes to…
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds…
The existence of a countably compact group without non-trivial convergent sequences in ZFC alone is a major open problem in topological group theory. We give a ZFC example of a Boolean topological group G without non-trivial convergent…
A well-known Peterson's theorem says that the number of abelian ideals in a Borel subalgebra of a rank-$r$ finite dimensional simple Lie algebra is exactly $2^r$. In this paper, we determine the dimensional distribution of abelian ideals in…