First Order Theories of Some Lattices of Open Sets - Oleg Kudinov; Victor Selivanov (2017)