@misc{indiciae6b4a78ff4582,
  title = {First Order Theories of Some Lattices of Open Sets},
  author = {Oleg Kudinov and Victor Selivanov},
  year = {2017},
  doi = {10.23638/lmcs-13(3:16)2017},
  url = {https://arxiv.org/abs/1705.04564},
  note = {Source identifier: 1705.04564}
}