Topologically compact structures and positive formulas L. Pacholski; B. Węglorz — 1968 Colloquium Mathematicae