Skip to main content
SpringerLink
Log in

Fields with automorphism and valuation

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

The model companion of the theory of fields with valuation and automorphism (of the pure field structure) exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Macintyre, A.: Generic automorphisms of fields. Ann. Pure Appl. Log. 88(2–3), 165–180 (1997). Joint AILA-KGS Model Theory Meeting (Florence, 1995)

  2. Chatzidakis, Z., Hrushovski, E.: Model theory of difference fields. Trans. Am. Math. Soc. 351(8), 2997–3071 (1999)

    Article  MathSciNet  Google Scholar 

  3. Kikyo, H.: On generic predicates and the amalgamation property for automorphisms. Proc. Sch. Sci. Tokai Univ. 40, 19–24 (2005)

    MathSciNet  MATH  Google Scholar 

  4. Kikyo, Hirotaka: Model companions of theories with an automorphism. J. Symb. Log. 65(3), 1215–1222 (2000)

    Article  MathSciNet  Google Scholar 

  5. Bélair, L., Macintyre, A., Scanlon, T.: Model theory of the Frobenius on the Witt vectors. Am. J. Math. 129(3), 665–721 (2007)

    Article  MathSciNet  Google Scholar 

  6. Azgin, S., van den Dries, L.: Elementary theory of valued fields with a valuation-preserving automorphism. J. Inst. Math. Jussieu 10(1), 1–35 (2011)

    Article  MathSciNet  Google Scholar 

  7. Azgin, S.: Valued fields with contractive automorphism and Kaplansky fields. J. Algebra 324(10), 2757–2785 (2010)

    Article  MathSciNet  Google Scholar 

  8. Pal, Koushik: Multiplicative valued difference fields. J. Symb. Log. 77(2), 545–579 (2012)

    Article  MathSciNet  Google Scholar 

  9. Durhan, S., Onay, G.: Quantifier elimination for valued fields equipped with an automorphism. Selecta Math. (N.S.) 21(4), 1177–1201 (2015)

    Article  MathSciNet  Google Scholar 

  10. Scanlon, T.: A model complete theory of valued \({D}\)-fields. J. Symb. Log. 65(4), 1758–1784 (2000)

    Article  MathSciNet  Google Scholar 

  11. Guzy, N., Point, F.: Topological differential fields. Ann. Pure Appl. Log. 161(4), 570–598 (2010)

    Article  MathSciNet  Google Scholar 

  12. Pierce, David: Geometric characterizations of existentially closed fields with operators. Ill. J. Math. 48(4), 1321–1343 (2004)

    Article  MathSciNet  Google Scholar 

  13. Pierce, D.: Model-theory of vector-spaces over unspecified fields. Arch. Math. Log. 48(5), 421–436 (2009)

    Article  MathSciNet  Google Scholar 

  14. Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, 3rd edn. North-Holland Publishing Co., Amsterdam (1990). 1st edition (1973)

  15. Hodges, W.: Model Theory, Volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1993)

    Google Scholar 

  16. Robinson, A.: Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland Publishing Co., Amsterdam (1963)

    MATH  Google Scholar 

  17. Eklof, P., Sabbagh, G.: Model-completions and modules. Ann. Math. Log. 2(3), 251–295 (1970/1971)

  18. Blum, L.: Differentially closed fields: a model-theoretic tour. In: Contributions to Algebra (collection of papers dedicated to Ellis Kolchin), pp. 37–61. Academic Press, New York (1977)

  19. Pierce, D., Pillay, A.: A note on the axioms for differentially closed fields of characteristic zero. J. Algebra 204(1), 108–115 (1998)

    Article  MathSciNet  Google Scholar 

  20. van den Dries, L., Schmidt, K.: Bounds in the theory of polynomial rings over fields. A nonstandard approach. Invent. Math. 76(1), 77–91 (1984)

    Article  MathSciNet  Google Scholar 

  21. Poizat, B.: Groupes stables. Nur al-Mantiq wal-Ma’rifah [Light of Logic and Knowledge], 2. Bruno Poizat, Lyon (1987). Une tentative de conciliation entre la géométrie algébrique et la logique mathématique. [An attempt at reconciling algebraic geometry and mathematical logic]

  22. Engler, A.J., Prestel, A.: Valued Fields. Springer, Berlin (2005)

    MATH  Google Scholar 

  23. Zariski, O., Samuel, P.: Commutative Algebra. Vol. II. The University Series in Higher Mathematics. D. Van Nostrand Co., Inc., Princeton (1960)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Boğaziçi University, Istanbul, Turkey

    Özlem Beyarslan

  2. Instytut Matematyki, Uniwersytet Warszawski, Warszawa, Poland

    Daniel Max Hoffmann

  3. Department of Mathematics, University of Notre Dame, Notre Dame, IN, USA

    Daniel Max Hoffmann

  4. Matu GmbH, Birkenstraße 31, 10551, Berlin, Germany

    Gönenç Onay

  5. Matematik Bölümü, Mimar Sinan Güzel Sanatlar Üniversitesi, Istanbul, 34380, Turkey

    David Pierce

Authors
  1. Özlem Beyarslan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Max Hoffmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gönenç Onay
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. David Pierce
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Pierce.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Daniel Max Hoffmann: SDG. Supported by the Polish Natonal Agency for Academic Exchange and the National Science Centre (Narodowe Centrum Nauki, Poland) grant nos. 2016/21/N/ST1/01465, and 2015/19/B/ST1/01150.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Beyarslan, Ö., Hoffmann, D.M., Onay, G. et al. Fields with automorphism and valuation. Arch. Math. Logic 59, 997–1008 (2020). https://doi.org/10.1007/s00153-020-00728-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-020-00728-5

Keywords

Mathematics Subject Classification

Search

Navigation