@misc{indiciae7ec6768a1d30,
  title = {Dedekind completions, neat embeddings and omitting types},
  author = {Tarek Sayed Ahmed},
  year = {2014},
  url = {https://arxiv.org/abs/1401.1103},
  note = {Source identifier: 1401.1103}
}