Search results for: 'exhaustion by compact sets'