On first sight monadic Gödel logics with only one predicate symbol might look like quite boring. On the contrary, a bit of investigation shows that even with one predicate symbol alone one can express enough (topological) properties to distinguish countable many Gödel logics.

We present a work in progress on this topic, where our aim is to give a characterization of the classes of Gödel logics of one monadic predicate logic that can be distinguished.