# Monthly Archives: March 2010

## Topology and First-Order Modal Logic

The normal square root function can be considered to be multi-valued.

Let’s momentarily accept the heresy of saying that the square root of a negative number is $0$, so that our function will be total.

How can we represent the situation of this branching “function” topologically?