1. Constructible sets in real algebraic geometry;Andradas,1996
2. Hereditarily-pythagorean fields and orderings of higher level;Becker,1978
3. Rational points on algebraic varieties over a generalized real closed field: a model theoretic approach;Becker;J. Reine Angew. Math.,1985
4. Computation of real radicals of polynomial ideals;Becker,1993
5. Géométrie algébrique réelle;Bochnak,1987