On the nonaxiomatizability of some logics by finitely many schemas (Q1820771)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the nonaxiomatizability of some logics by finitely many schemas
scientific article

    Statements

    On the nonaxiomatizability of some logics by finitely many schemas (English)
    0 references
    0 references
    0 references
    1986
    0 references
    After giving a definition of schema, the authors prove that the class of \((\beth_{\omega},\aleph_ 0)\) two-cardinal models, albeit recursively axiomatizable, cannot be axiomatized by finitely many schemata. As an application, it is shown that no finite collection of schemata suffice to axiomatize the logic with the quantifier ''there exist at least \(\kappa\) many'', where \(\kappa\) is a strong limit cardinal. In a final note it is announced that the same result has been proved by the first author to hold for the logic with the binary Magidor-Malitz quantifier in the \(\aleph_ 1\)-interpretation.
    0 references
    axiomatizable logic
    0 references
    axiom schema
    0 references
    recursive axiomatizability
    0 references
    two- cardinal models
    0 references
    strong limit cardinal
    0 references

    Identifiers