On k-constructable sets, k-elementary formulae, and elimination theory. A. Seidenberg — 1969 Journal für die reine und angewandte Mathematik