\(n\)-simple theories (Q705540)

From MaRDI portal
Revision as of 09:57, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
\(n\)-simple theories
scientific article

    Statements

    \(n\)-simple theories (English)
    0 references
    31 January 2005
    0 references
    The author develops a properly increasing hierarchy of conditions stronger than simplicity but weaker than stability, called strong \(n\)-simplicity in terms of \(n\)-dimensional local ranks, a strong \(n\)-dimensional tree property, and strong \(n\)-dividing; moreover he constructs examples for every level. In particular, the random graph is strongly \(n\)-simple for all \(n<\omega\). He proves that in a strongly \(2\)-simple theory a non-forking type-extension of a Lascar strong type is again Lascar strong, and relates strong \(n\)-simplicity to the strong \(n\)-amalgamation property. However, in the last section he gives an example by Wagner to show that \(n\)-simplicity is not preserved under interpretation, and in particular under passage to imaginaries. This leads to the (weaker) definition of \(n\)-simple and \(n\)-dimensional amalgamation, where all the variables are required to be boundedly closed; the author states the result that \(k\)-dimensional amalgamation for \(2\leq k\leq n+1\) implies \(n\)-simplicity; work on the converse is in progress.
    0 references
    strongly \(n\)-simple theory
    0 references
    simplicity
    0 references
    stability
    0 references
    random graph
    0 references
    Lascar strong type
    0 references
    strong \(n\)-amalgamation property
    0 references

    Identifiers