The definable multiplicity property and generic automorphisms

نویسندگان

  • Hirotaka Kikyo
  • Anand Pillay
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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