An approximation theorem related to good compact sets in the sense of Martineau
This note contains an approximation theorem that implies that every compact subset of is a good compact set in the sense of Martineau. The property in question is fundamental for the extension of analytic functionals. The approximation theorem depends on a finiteness result about certain polynomially convex hulls.