The ultrafilter theorem in real algebraic geometry

From MaRDI portal