The first part of the thesis concerns the existence of model companions of certain unstable theories with automorphisms. Let T be a first-order theory with the strict order property. According to Kikyo and Shelah's theorem, the theory of models of T with a generic automorphism does not have a model companion. However, existence can be restored with some restriction on the automorphism. We show the existence of model companions of the theory of linear orders with increasing automorphisms and the theory of ordered abelian groups with multiplicative automorphisms. Both these theories have the strict order property.
The second part of the thesis uses these results from the first part in the context of valued difference fields, which are valued fields with an automorphism on them. Understanding the theory of such structures requires one to specify how the valuation function interacts with the automorphism. Two special cases have been worked out before. The case of the isometric automorphism is worked out by Luc Bélair, Angus Macintyre and Thomas Scanlon; the case of the contractive automorphism is worked out by Salih Azgin. These two cases, however, are two ends of a spectrum. Our goal in this thesis is to fill this gap by defining the notion of a multiplicative valued difference field. We prove an Ax-Kochen-Ershov type of result, whereby we show that the theory of such structures is essentially controlled by the theory of their so-called "residue-valuation" structures (RVs). We also prove relative quantifier elimination theorem for such structures relative to their RVs. Finally we show that in the presence of a "cross-section", we can transfer these relative completeness and relative quantifier elimination results relative to their value groups and residue fields.
|Advisor:||Scanlon, Thomas W.|
|Commitee:||Harrington, Leo A., Scanlon, Thomas W., Slaman, Theodore A., Tsit-Yuen, Lam, Woodin, Hugh|
|School:||University of California, Berkeley|
|Department:||Logic & the Methodology of Science|
|School Location:||United States -- California|
|Source:||DAI-A 72/12, Dissertation Abstracts International|
|Keywords:||Algebra, Model theory, Multiplicative valued difference fields, Valuation theory|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be