Spatiality and classical logic

In this short note we show that any proof of a general spatiality theorem for inductively generated formal topologies requires full classical logic