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
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