Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers

Grant Olney Passmore

We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n\in \mathbb{Q})$ and $(x^n\in \mathbb{Z})$. Our decision pro…