@misc{indiciae320b6eba4457, title = {Modal languages for topology: expressivity and definability}, author = {Balder ten Cate and David Gabelaia and Dmitry Sustretov}, year = {2006}, url = {https://arxiv.org/abs/math/0610357}, note = {Source identifier: math/0610357} }