Compactification of \(L(Q)\) (Q1840986)

For any monadic quantifier \(Q\), the authors consider the fragment \(L_\tau(Q)\) of the logic \(L(Q)\) where \(\tau\) is a finite relational type. Building on \textit{X. Caicedo's} paper ``Continuous operations on spaces of structures'' [in: M. Krynicki et al. (eds.), Quantifiers: logics, models and computation, Vol. 1, Kluwer, Dordrecht, Synthese Libr. 248, 263-296 (1995; Zbl 0904.03025)], as well as on their joint paper with the present reviewer [``Cauchy completeness in elementary logic'', J. Symb. Log. 61, No. 4, 1153-1157 (1996; Zbl 0871.03020)], they investigate the natural pseudo-metric structure on the space \(S\) of \(\tau\)-structures, given by quantifier rank. Adding to \(S\) new elements, roughly corresponding to Cauchy sequences of \(\tau\)-structures, they finally obtain a compact extension of \(L(Q)\).