Abstract:The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this paper, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski's observation that the regular open sets of any topological space form a Boolean algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras.

Topological representation of some lattices

Intrinsic Topological Representation of Real Algebraic Surfaces

Frink Ideal Topology of Lattice Effect Algebras

Lattice structure on bounded homomorphisms between topological lattice rings

Relative topological principality and the ideal intersection property for groupoid C*-algebras

Lattices in rigid analytic representations

Di-Exact Categories and Lattices of Normal Subobjects

Choice-free Stone duality

A representation theorem for order continuous Banach lattices with applications

Chain algebras of finite distributive lattices

Topological properties of some classes of submodules

The lattice property for perfect complexes on singular stacks

A topology on the Fremlin tensor product of locally convex-solid vector lattices

Rich lattices of multiplier topologies

A harmonic analysis approach to essential normality of principal submodules

Topological radicals, IX: relations in ideals of C*-algebras

The inverse problem for primitive ideal spaces

Algebraic properties of the ring $C(X)_\mathcal{P}$

Partially ordered set of zero-dimensional one-point extensions of a topological space