The definable multiplicity property and generic automorphisms
نویسندگان
چکیده
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T ∪ {“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T ∪ {“σi is an automorphism” : i = 1, 2} is an elementary class if and only if T has the definable multiplicity property.
منابع مشابه
Saccharinity
A. We present a method to iterate finitely splitting lim-sup tree forcings along non-wellfounded linear orders. We apply this method to construct a forcing (without using an inaccessible or amalgamation) that makes all definable sets of reals measurable with respect to a certain (non-ccc) ideal. 1. I In the seminal paper [10] Solovay proved that in the Levy model (after collap...
متن کاملGeneric automorphisms and green fields
We show that the generic automorphism is axiomatizable in the green field of Poizat (once Morleyized) as well as in the bad fields that are obtained by collapsing this green field to finite Morley rank. As a corollary, we obtain ‘bad pseudofinite fields’ in characteristic 0. In both cases, we give geometric axioms. In fact, a general framework is presented allowing this kind of axiomatization. ...
متن کاملDefinable Groups of Partial Automorphisms
The motivation for this paper is to extend the known model theoretic treatment of differential Galois theory to the case of linear difference equations (where the derivative is replaced by an automorphism.) The model theoretic difficulties in this case arise from the fact that the corresponding theory ACFA does not eliminate quantifiers. We therefore study groups of restricted automorphisms, pr...
متن کاملErgodic Dynamical Systems Conjugate to Their Composition Squares
We investigate the question of when an ergodic automorphism T is conjugate to its composition square T 2, i.e., when does there exist an automorphism S with the property that ST = T 2S. This is a non–generic property of automorphisms which seems to be quite exceptional. The situation for ergodic automorphisms having discrete spectrum and automorphisms having the weak closure property is investi...
متن کاملDefinability for Equational Theories of Commutative Groupoids †
We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 106 شماره
صفحات -
تاریخ انتشار 2000