Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649): Difference between revisions

The paper concerns the study of the model theory for modules over rings of continuous semi-algebraic functions. The main result of the paper is a criterion for membership of positive primitive subgroups of a free module over the ring of continuous semi-algebraic functions. In addition, the author gives some generalizations of this result to arbitrary modules over the ring. At last, the author presents a quantifier elimination result to the level of positive primitive formulas.