On the homogeneity property for certain quantifier logics (Q1204106)

From MaRDI portal
Revision as of 22:38, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article
Language Label Description Also known as
English
On the homogeneity property for certain quantifier logics
scientific article

    Statements

    On the homogeneity property for certain quantifier logics (English)
    0 references
    0 references
    1 September 1993
    0 references
    The pair \(({\mathfrak L}_ 1,{\mathfrak L}_ 2)\) of logics has the homogeneity property if the following holds: If \(\mathfrak A\) is a model in which the elements \(a_ 1\) and \(a_ 2\) satisfy the same \({\mathfrak L}_ 2\)- formulas, then there is \(({\mathfrak B},b_ 1,b_ 2)\equiv_{{\mathfrak L}_ 1}({\mathfrak A},a_ 1,a_ 2)\) with an automorphism of \(\mathfrak B\) mapping \(b_ 1\) onto \(b_ 2\). The pair \(({\mathfrak L}_ 1,{\mathfrak L}_ 2)\) has the local homogeneity property if the following holds: If \(\mathfrak A\) is a model in which the elements \(a_ 1\) and \(a_ 2\) satisfy the same \({\mathfrak L}_ 2\)-formulas, and \(\phi\) is an \({\mathfrak L}_ 1\)-sentence true in \(({\mathfrak A},a_ 1,a_ 2)\), then there is \(({\mathfrak B},b_ 1,b_ 2)\models \phi\) with an automorphism of \(\mathfrak B\) mapping \(b_ 1\) onto \(b_ 2\). The logic \(\mathfrak L\) has the (local) homogeneity property if the pair \(({\mathfrak L},{\mathfrak L})\) has. The occurrence number of a logic \(\mathfrak L\) is the smallest cardinal \(\kappa\) so that every sentence of \(\mathfrak L\) depends on less than \(\kappa\) non-logical symbols. The author shows that if \(({\mathfrak L}_ 1,{\mathfrak L}_ 2)\) has the homogeneity property and \({\mathfrak L}_ 2\) has occurrence number \(\kappa\), a regular cardinal, then \({\mathfrak L}_ 1\) has the following compactness property: If \(S\) and \(T\) are sets of sentences of \({\mathfrak L}_ 1\) so that \(| S|\leq\kappa\) and \(S_ 0\cup T\) is consistent for every \(S_ 0\subseteq S\) with \(| S_ 0|<\kappa\), then \(S\cup T\) is consistent. As a consequence, \({\mathfrak L}_{\omega\omega}(Q_ 1)\) does not have the homogeneity property. In the main result of the paper, the author combines a forcing construction with an absoluteness argument to prove a general result which implies that the pair \(({\mathfrak L}_{\omega\omega}(Q_ 1), {\mathfrak L}_{\omega\omega}({\mathbf a}{\mathbf a}))\) does not have the local homogeneity property. If \(\Gamma\) is a class of regular cardinals, then the quantifier \(Q^{cf\Gamma} xy\phi(x,y,\vec a)\) says that the formula \(\phi(x,y,\vec a)\) defines a linear order with cofinality in \(\Gamma\). The author shows that \(({\mathfrak L}_{\omega\omega}(Q^{cf\{\omega\}}), {\mathfrak L}_{\omega\omega}({\mathbf a}{\mathbf a}))\) and \({\mathfrak L}_{\omega\omega}(Q^{cf\Gamma})\) have the homogeneity property.
    0 references
    homogeneity property
    0 references
    local homogeneity property
    0 references
    automorphism
    0 references
    occurrence number
    0 references
    compactness
    0 references
    forcing
    0 references

    Identifiers