1995-02-122022-01-28 rzach Generalizing theorems in real closed fields Source Annals of Pure and Applied Logic 75 (1995) 3–23 (with Matthias Baaz)