@misc{indiciaeb5df00d4f07b,
  title = {Recursive axiomatisations from separation properties},
  author = {Rob Egrot},
  year = {2021},
  doi = {10.1017/jsl.2021.19},
  url = {https://arxiv.org/abs/1907.00202},
  note = {Source identifier: 1907.00202}
}