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.
field hockey | Field Marshal | The Real World | real estate | Real Madrid C.F. | Field Museum of Natural History | Wrigley Field | Teatro Real | Laguna Beach: The Real Orange County | Soldier Field | Sally Field | Field of Dreams | Sunny Day Real Estate | Real C.D. España | Ebbets Field | Ciudad Real | The Real McCoys | Case Closed | Campaign for Real Ale | Royal Field Artillery | Real People | Eugene Field | United States high school national records in track and field | The Real Ghostbusters | Real Valladolid | Real Madrid Baloncesto | Real estate development | Marshall Field's | field marshal | England national field hockey team |