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

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(5 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.apal.2003.10.003 / rank
Normal rank
 
Property / author
 
Property / author: John T. Baldwin / rank
Normal rank
 
Property / author
 
Property / author: Q558736 / rank
Normal rank
 
Property / author
 
Property / author: John T. Baldwin / rank
 
Normal rank
Property / author
 
Property / author: Kitty L. Holland / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.apal.2003.10.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2088730863 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categoricity and generalized model completeness / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Almost Strongly Minimal Non-Desarguesian Projective Plane / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Projective Planes of Lenz-Barlotti Class I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructing <i>ω</i>-stable structures: rank 2 fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructing ω-stable structures: Computing rank / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable generic structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trivial, strongly minimal theories are model complete after naming constants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model completeness of the new strongly minimal sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new strongly minimal set / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Le carre de l'egalite / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.APAL.2003.10.003 / rank
 
Normal rank

Latest revision as of 20:10, 10 December 2024

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