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.

The equivalency of the Banach-Alaoglu theorem and the axiom of choice

Koszul Equivalences in $A_\infty$-Algebras

Formalization of the Axiom of Choice and its Equivalent Theorems

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

On forcing axioms and weakenings of the Axiom of Choice

Choice axioms and Postnikov completeness

Another proof of the analytic Hahn-Banach Theorem

The Axiom of Choice and the No-Signaling Principle

On the Equivalence in ZF+BPI of the Hahn–Banach Theorem and Three Classical Theorems

A note on Łoś's Theorem without the Axiom of Choice

NONLINEAR SIMULTANEOUS APPROXIMATION IN COMPLETE LATTICE BANACH SPACES

Nash Equilibrium and Axiom of Choice Are Equivalent

A general Banach-Stone type theorem and applications

An equivalent characterization of the choice axiom in a Topos

Choice-free Stone duality

The Axiom of Choice and Its Influence on LLM Hallucinations: An Exploration

The Banach-Tarski paradox or what mathematics and religion have in common

The axiom of choice and model-theoretic structures

Equivalent norms and Hardy-Littlewood type Theorems, and their applications

Hindman's Theorem in the hierarchy of Choice Principles

A new form of the Hahn-Banach Theorem