Related papers: Ellis enveloping semigroups in real closed fields
We present a Stone duality for bitopological spaces in analogy to the duality between Stone spaces and Boolean algebras, in the same vein as the duality between d-sober bitopological spaces and spatial d-frames established by Jung and…
We consider certain point patterns of an Euclidean space and calculate the Ellis enveloping semigroup of their associated dynamical systems. The algebraic structure and the topology of the Ellis semigroup, as well as its action on the…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…
Stone's representation theorem asserts a duality between Boolean algebras on the one hand and Stone space, which are compact, Hausdorff, and totally disconnected, on the other. This duality implies a natural isomorphism between the…
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…
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…
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…
Let S be the Stone space of a complete, non-atomic Boolean algebra. Let G be a countably infinite group of homeomorphisms of S. Let the action of G on S have a free dense orbit. Then we prove that, on a generic subset of S, the orbit…
We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a…
Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…
We establish two duality theorems which refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem we prove that the category of left-handed skew Boolean algebras whose…
A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation…
We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes the classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and…
We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…
We introduce the notion of an introverted Boolean algebra $\cal B$ of closed-and-open subsets of a topological group $G$, show that the associated Stone space $(\nu_{\cal B} G, \nu_{\cal B})$ is a totally disconnected semigroup…
Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to Wille's original definition. This reduction allows improved…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces…