Re: Compactness


There is nothing weird about Heine Borel's covering criterion of
compactness; what I asked you to explain is the line "There is an
inference running from the whole thing to a
finite subset of the thing."

.