On Bröcker'st-invariant and separating families for constructible sets

Summary The paper looks at certain open problems in the theory of minimal generation of semi-algebraic sets and constructible sets in the real spectrum: problems about thet-invariant and the associatedp-invariant for separating families, and about the extension of the theory to arbitrary commutative rings.