Constructing \(\omega\)-stable structures: Model completeness. (Q1428040)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constructing \(\omega\)-stable structures: Model completeness.
scientific article

    Statements

    Constructing \(\omega\)-stable structures: Model completeness. (English)
    0 references
    14 March 2004
    0 references
    The authors extend work by \textit{K. Holland} [J. Symb. Log. 64, No. 3, 946--962 (1999; Zbl 0945.03045)] by showing that the projective plane of \textit{J. T. Baldwin} [Trans. Am. Math. Soc. 342, No. 2, 695--711 (1994; Zbl 0796.03041)] and the finite rank bicoloured fields of \textit{J. T. Baldwin} and \textit{K. Holland} [J. Symb. Log. 65, No. 1, 371--391 (2000; Zbl 0957.03044)] are model-complete, while the infinite rank bicoloured field of \textit{B. Poizat} [J. Symb. Log. 64, No. 3, 1339--1355 (1999; Zbl 0938.03058)] is not. More generally, the finite rank collaps of a strongly minimal set expanded by a random unary predicate is almost strongly minimal and model-complete provided the strongly minimal set has a dense set of exactly rank \(k\) formulas, where \(k\) is the rank of the collapse (and this excludes triviality for \(k>2\)). The proof in the second case makes use of Lindström's theorem that inductive theories categorical in an infinite power are model-complete; in the first case it uses a new (but old-style) characterization of almost strongly minimal model-complete theories.
    0 references
    Hrushovski amalgamation construction
    0 references
    almost strongly minimal theories
    0 references
    model-completeness
    0 references
    projective plane
    0 references
    bicoloured fields
    0 references
    \(\omega\)-stable models
    0 references
    0 references
    0 references

    Identifiers