Choice Free Stone Duality
Work
Year: 2019
Type: article
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 a... more
Source: Journal of Symbolic Logic
Cites: 33
Cited by: 21
Related to: 10
FWCI: 1.319
Citation percentile (by year/subfield): 89.93
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green