Algebraically constructible functions on a real algebraic set are sums of s
igns of polynomials on this set. The representation theorem gives an effect
ive criterion to characterize these functions. On the other hand results on
spaces of orderings can be used to bound the minimal number of polynomials
needed to describe a given algebraically constructible function.