@misc{indiciae1a4ded371389,
  title = {Decidability of the Natural Numbers with the Almost-All Quantifier},
  author = {David Marker and Theodore A. Slaman},
  year = {2006},
  url = {https://arxiv.org/abs/math/0602415},
  note = {Source identifier: math/0602415}
}