The notion of ultratopologies was introduced in [6] motivated by the model theory of first and higher order logics. In [6] we established some model theoretical applications of ultratopologies, for example, we provided a purely set theoretical (or topological) characterization for classes de.nable by second order existential formulas. The present note deals with topological properties of ultratopologies, like density and compactness.
展开▼
