Limit point compact uniform space

I'm working on a theorem on compactness for uniform spaces. Here are the definitions I'm using:

$$X$$ is compact if every open cover of $$X$$ reduces to a finite subcover.

$$X$$ is filter-compact if for every proper filter $$\mathcal{F}$$ on $$X$$, there exists a proper filter on $$X$$ that is a convergent refinement of $$\mathcal{F}$$.

$$X$$ is complete if every proper Cauchy filter on $$X$$ is convergent.

$$X$$ is totally bounded if for every entourage $$U$$ of $$X$$, there exists a cover of $$X$$ by a finite collection $$\{V_i\}_{i=1}^n$$ of subsets of $$X$$ such that we have $$V_i \times V_i \subseteq U$$ for each $$i$$.

$$X$$ is limit point compact if every infinite subset of $$X$$ has a limit point.

Here's what I believe I've managed to do so far:

For a uniform space $$X$$, the following are equivalent:

• $$X$$ is compact;
• $$X$$ is filter-compact;
• $$X$$ is complete and totally bounded.

It'd be very nice if limit point compactness could be added to the above list.

I've seen this post, which suggests that (open set) compactness, sequential compactness, and limit point compactness aren't equivalent. I've been hoping that replacing sequential compactness by filter-compactness is enough to make everything work, but I've made no progress.

Does anyone know if it's doable? If yes, I'd really appreciate a hint. If not, a counterexample would be great. Thanks!

• Filter compactness is just a equivalent formulation of compactness in all topological spaces. – Henno Brandsma Jan 7 at 22:52

There are limit point compact spaces that are not compact, even uniformisable spaces, e.g. take $$X=\omega_1$$ (the first uncountable ordinal in the order topology (that Munkres calls $$W$$ IIRC)). $$X$$ is also sequentially compact.
I don’t see how adding an equivalent formulation (filter compactness), which is equivalent in all topological spaces to standard (open cover ) compactness, is going to change anything. $$X$$ is not compact so it’s not filter compact, period. If $$S$$ is any uniform space, being limit point compact as a topological space is not going to make it compact.