On the Proof that Compact Hausdorff Boolean Algebras are Powersets.

Guram Bezhanishvili John Harding

Published in: Order (2016)

Keyphrases

real valued
hausdorff distance
spatial reasoning
linear logic
straight line
theorem proving
boolean logic
clifford algebra
geometry theorem proving
databases
information systems
multiscale
multi valued
topological spaces