Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the étale homotopy type. This paper is part one of a sequence of papers on this topic.