First Order Theories of Some Lattices of Open Sets (Logical Methods in Computer Science, 2017)