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

From MaRDI portal





scientific article
Language Label Description Also known as
English
Compactification of \(L(Q)\)
scientific article

    Statements

    Compactification of \(L(Q)\) (English)
    0 references
    0 references
    18 December 2001
    0 references
    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)\).
    0 references
    Cauchy sequence of structures
    0 references
    monadic quantifier
    0 references
    pseudo-metric structure
    0 references
    quantifier rank
    0 references
    compact extension
    0 references

    Identifiers