Semialgebraic topology over a real closed field II: Basic theory of semialgebraic spaces

This publication has 11 references indexed in Scilit:

• A Decision Method for Elementary Algebra and Geometry
  Published by Springer Nature ,1998
• Semialgebraic topology over a real closed field I: Paths and components in the set of rational points of an algebraic variety
  Mathematische Zeitschrift, 1981
• Partially Ordered Rings and Semi-Algebraic Geometry
  Published by Cambridge University Press (CUP) ,1979
• Algebraic Geometry
  Published by Springer Nature ,1977
• On algebraic curves over real closed fields. I
  Mathematische Zeitschrift, 1976
• The Tame Fundamental Group of a Formal Neighbourhood of a Divisor with Normal Crossings on a Scheme
  Lecture Notes in Mathematics, 1971
• Decision procedures for real and p‐adic fields
  Communications on Pure and Applied Mathematics, 1969
• Éléments de Géométrie algébrique
  Publications mathématiques de l'IHÉS, 1960
• Elementary Structure of Real Algebraic Varieties
  Annals of Mathematics, 1957
• A New Decision Method for Elementary Algebra
  Annals of Mathematics, 1954