Ben-Or, Kozen, and Reif (1986) proved that the theory of real closed fields is decidable in exponential space, and therefore in doubly exponential time.
Ben-Or, Kozen & Reif (1986) は実閉体の理論が EXPSPACE において（したがって二重指数時間で）決定可能であることを示した。