@misc{indiciae06cf927122f3,
  title = {When is scalar multiplication decidable?},
  author = {Philipp Hieronymi},
  year = {2019},
  url = {https://arxiv.org/abs/1505.08055},
  note = {Source identifier: 1505.08055}
}