The atomic model theorem and type omitting (Q3642694)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The atomic model theorem and type omitting
scientific article

    Statements

    The atomic model theorem and type omitting (English)
    0 references
    0 references
    0 references
    0 references
    6 November 2009
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    reverse mathematics
    0 references
    prime models
    0 references
    atomic models
    0 references
    complexity of model-theoretic theorems
    0 references
    omitting types
    0 references
    0 references