If $r\in\mathbb{Q}\setminus\mathbb{Z}$ is it possible that $r^{r^{r^r}}\in \mathbb{Q}$?

359 Views Asked by At

It's straightforward to prove that $r^r\notin\mathbb{Q}$, which furthermore allows us to use the Gelfond-Schneider theorem to prove that $r^{r^r}\notin\mathbb{Q}$.

Is it true that $r^{r^{r^r}}\notin\mathbb{Q}$?

It seems like it ought to be true, though my guess would be that this is an open problem. If not, does anyone know a proof? And if so, do there exist any discussions of it in the literature?