Special Session on Ordered Fields and Real Algebraic Geometry (1981 San Francisco, Calif.)