On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields

Notre Dame Journal of Formal Logic 61 (3):363-381 (2020)
  Copy   BIBTEX

Abstract

We give a simplified proof of elimination of imaginaries in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and Macpherson.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2020-0017

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prototypes for Definable Subsets of Algebraically Closed Valued Fields.Jan Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Imaginaries in pairs of algebraically closed fields.Anand Pillay - 2007 - Annals of Pure and Applied Logic 146 (1):13-20.
Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
Amalgamation of types in pseudo-algebraically closed fields and applications.Zoé Chatzidakis - 2019 - Journal of Mathematical Logic 19 (2):1950006.
Computable valued fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.
Weak forms of elimination of imaginaries.Enrique Casanovas & Rafel Farré - 2004 - Mathematical Logic Quarterly 50 (2):126-140.
Special transformations in algebraically closed valued fields.Yimu Yin - 2010 - Annals of Pure and Applied Logic 161 (12):1541-1564.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
Residue Field Domination in Real Closed Valued Fields.Clifton Ealy, Deirdre Haskell & Jana Maříková - 2019 - Notre Dame Journal of Formal Logic 60 (3):333-351.
Integration in algebraically closed valued fields.Yimu Yin - 2011 - Annals of Pure and Applied Logic 162 (5):384-408.
Ganzstellensätze in theories of valued fields.Deirdre Haskell & Yoav Yaffe - 2008 - Journal of Mathematical Logic 8 (1):1-22.
On the elimination of imaginaries from certain valued fields.Philip Scowcroft & Angus Macintyre - 1993 - Annals of Pure and Applied Logic 61 (3):241-276.

Analytics

Added to PP
2020-09-26

Downloads
12 (#1,058,801)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Will Johnson
Cardiff University

Citations of this work

Some definable types that cannot be amalgamated.Martin Hils & Rosario Mennuni - 2023 - Mathematical Logic Quarterly 69 (1):46-49.

Add more citations

References found in this work

Add more references