Constructive Solid Geometry is a way of describing/building up solid objects from simpler primitive objects. Let's assume you can perform affine transformations on objects, along with the CSG set operations. Has there been any investigation into what solids you can exactly reproduce with a finite number of CSG operations, and a given set of primitives? Where would I look to read about it?
Well, if the primitives are, say, quadratic surfaces, then the combinations will be piecewise quadratic. Similarly, if the primitives are linear surfaces (i.e. planes) then the combinations will be piecewise linear (i.e. polyhedra).
More generally, the surfaces of objects formed by a finite number of CSG operations will consist of a finite number of pieces of the primitive surfaces, with the edge of each piece consisting of a finite number pieces of pairwise intersections of the primitive surfaces.