Topology Atlas
Document # iaac-94
Boolean Spaces Machine
Murray Bell
Murray Bell created a web-based form and database for Boolean spaces.
A Boolean space is a compact, Hausdorff space which has a basis
consisting of clopen sets, and this database is restriced to
non-metrizable spaces.
With the form, you can choose among many properties (e.g., dyadic,
Eberlein compact, rigid, separable, radial, basically disconnected,
crowded, ...) and the form will show the examples of Boolean spaces from
the database that have these properties.
You can also select among structures of properties (e.g., closed
hereditary, preserved by continuous images, productive, summable, closed
extendible, preimaging, projectable, ...) and the form will show examples
of properties satisfying these properties.
So, the form can be used to recall quickly counterexamples
satisfying specified properties.
Murray Bell died in December 2001.
The software and database for his Boolean Spaces Machine are maintained at
Topology Atlas and are available to interested researchers.
Murray
Bell's Boolean Spaces Machine
Date: March 24, 2003.
Copyright © 2003
Topology Atlas