Journal of Symbolic Logic 85 (1):109-148 (2020)

Authors
Nick Bezhanishvili
University of Amsterdam
Wesley H. Holliday
University of California, Berkeley
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 article, 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. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. 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.
Keywords Stone duality  Boolean algebra  regular open algebra  Vietoris hyperspace  spectral spaces  Stone locales  Axiom of Choice
Categories (categorize this paper)
DOI 10.1017/jsl.2019.11
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,238
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
Weak-Quasi-Stone Algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
Boolean Products of R0-Algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
First-Order Logical Duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.
Weak‐Quasi‐Stone Algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
Boolean Algebras in Ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
Finiteness Conditions and Distributive Laws for Boolean Algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.
The Finiteness of Compact Boolean Algebras.Paul Howard - 2011 - Mathematical Logic Quarterly 57 (1):14-18.

Analytics

Added to PP index
2019-07-04

Total views
43 ( #247,030 of 2,444,728 )

Recent downloads (6 months)
10 ( #68,369 of 2,444,728 )

How can I increase my downloads?

Downloads

My notes