Compactification of \(L(Q)\) (Q1840986)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Compactification of \(L(Q)\) |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Compactification of \(L(Q)\) |
scientific article |
Statements
Compactification of \(L(Q)\) (English)
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