Generalized connectedness and Bertini-type theorems over real closed fields

Yi Ouyang, Chenhao Zhang

In this paper, we establish a real closed analogue of Bertini's theorem. Let $R$ be a real closed field and $X$ a formally real integral algebraic variety over $R$. We show that if…