@misc{indiciaed9c8470365c6,
  title = {Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers},
  author = {Grant Olney Passmore},
  year = {2015},
  url = {https://arxiv.org/abs/1506.04863},
  note = {Source identifier: 1506.04863}
}