On points at infinity of real spectra of polynomial rings

François Lucas, Daniel Schaub, Mark Spivakovsky

Let R be a real closed field and A=R[x_1,...,x_n]. Let sper A denote the real spectrum of A. There are two kinds of points in sper A : finite points (those for which all of |x_1|,.…