The definable multiplicity property and generic automorphisms
type: Item
instance of: scholarly article
title: The definable multiplicity property and generic automorphisms
zbMATH Open document ID: 0967.03030
DOI: 10.1016/S0168-0072(00)00024-5
author: Hirotaka Kikyo
author: Anand Pillay
published in: Annals of Pure and Applied Logic
publication date: 2001-08-28T00:00:00Z
review text: Let \(T\) be a complete theory with quantifier elimination in a language \(L\) and let \(T_{\sigma}\) denote the (possibly incomplete) expansion \(T \cup \{ \sigma\) is an automorphism\} in the suitable language extending \(L\) by a new 1-ary function symbol. A well-known example in this setting concerns \(T = \text{ACF}\), the theory of algebraically closed fields (with a fixed characteristic to ensure completeness); \(\text{ACF}_{\sigma}\) has a model companion, called ACFA and admitting a nice axiomatization. For an arbitrary \(T\), one may ask under which conditions \(T_{\sigma}\) has a model companion. Here the authors deal with this problem when \(T\) is strongly minimal (so ACF lies in this framework). The leading conjecture is that, under the strongly minimal assumption, a model companion exists if and only if \(T\) satisfies the definable multiplicity property DMP (a condition essentially requiring the definability of the Morley degree). The implication from right to left is known, and the authors show here the converse implication when \(T\) is a finite cover of a strongly minimal theory which does have the DMP, in particular when \(T\) is locally modular. Notably, nicer results are obtained when working with \(\geq 2\) automorphisms \(\sigma_i\) \((i \in I)\). It turns out that, in this case, for every strongly minimal \(T\), \(T \cup \{\sigma_i\) is an automorphism\(: i \in I \}\) has a model companion exactly when \(T\) has the DMP. In particular, for a given strongly minimal \(T\), the existence of a model companion for the expansion of \(T\) by 2 automorphisms implies the existence of a model companion when infinitely many automorphisms occur.
reviewed by: Carlo Toffalori
Mathematics Subject Classification ID: 03C45
zbMATH DE Number: 1546604
zbMATH Keywords: generic automorphisms
zbMATH Keywords: strongly minimal theory
zbMATH Keywords: model companion
zbMATH Keywords: definable multiplicity property
zbMATH Keywords: Morley degree
MaRDI profile type: Publication
cites work: Model theory of difference fields
cites work: Generic structures and simple theories
cites work: Strongly minimal expansions of algebraically closed fields
cites work: Q3784054
cites work: Model companions of theories with an automorphism
cites work: Les beaux automorphismes. (The beautiful automorphisms)
cites work: Q3130253
cites work: Paires de structures stables
description: scientific article; zbMATH DE number 1546604