A topological characterization of \((\lambda,\mu)^*-compactness\) (Q796520)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A topological characterization of \((\lambda,\mu)^*-compactness\)
scientific article

    Statements

    A topological characterization of \((\lambda,\mu)^*-compactness\) (English)
    0 references
    0 references
    1983
    0 references
    The author proves a very interesting result that relates \((\lambda,\mu)^*\)-compact logics (i.e. [\(\lambda\),\(\mu]\)-compact in the sense of the paper by \textit{J. A. Makowsky} and \textit{S. Shelah} reviewed above) to the topological (\(\lambda\),\(\mu)\)-compact model spaces. The author shows this for logics \({\mathfrak L}_ 1\) that are closed under propositional operators and that can express sentences of the form \(\exists xP(x)\), where P(x) is an arbitrary unary predicate. Recall that if \({\mathfrak L}\) is a logic and L is a vocabulary (i.e. a language) for \({\mathfrak L}\), then the class \(X_ L\) of all L-structures forms a topological space with the base \(\{\{M\in X_ L| M\vDash x\}| x\in {\mathfrak L}(L)\)-sentence\(s\}\). In this case \(X_ L\) is called a model space. (Note that we have assumed that \({\mathfrak L}\) is closed under conjunction.) The author shows that for \({\mathfrak L}_ 1\) and any vocabulary L, the logic \({\mathfrak L}_ 1\) is \((\lambda,\mu)^*\)-compact if and only if the model space \(X_ L\) is (\(\lambda\),\(\mu)\)-compact, where \(\lambda \geq \mu\).
    0 references
    topological compact classes
    0 references
    compact logics
    0 references
    model spaces
    0 references

    Identifiers