Murray Bell created the Boolean Spaces Machine in 1997.
The Boolean Spaces Machine is an internet-based database
of (non-metrizable) Boolean spaces.
Boolean spaces are a particular class of topological spaces: compact,
Hausdorff spaces which have a basis consisting of clopen sets.The Boolean Spaces Machine was at
http://www.umanitoba.ca/cgi-bin/math/bell/props.cgi
It is archived at the Internet Archive Wayback Machine at
https://web.archive.org/web/*/http://www.umanitoba.ca/cgi-bin/math/bell/props.cgi
It was also archived at Topology Atlas at
https://web.archive.org/web/*http://at.yorku.ca/i/a/a/c/94.htmMurray Bell was a mathematician at the University of Manitoba.
http://at.yorku.ca/t/o/p/d/22.htm
https://web.archive.org/web/*/http://at.yorku.ca/t/o/p/d/22.htmElliott Pearl
2019-01-03