There are uncountably many binary sequences whose limiting relative frequency is x.
Mares Who's Afraid of Impossible Worlds.pdf
Chalmers Hyperintensionality
An application of Tychonoff's theorem, to prove the compactness theorem for propositional logic.
Model Theory Notes