The question of what sorts need to be added to a language for valued fields in order that the theory of algebraically closed valued fields has elimination of imaginaries was outstanding for at least twenty years until it was settled in the paper by myself, Hrushovski and Macpherson which appeared in 2006. The next question is whether this suffices for a general C-minimal theory. In a 2013 paper, we showed that new sorts are needed. The ongoing project is to find out what these should be.
Impact
A further understanding of the rich structure of valued fields with additional functions symbols.
Student Experience
Provides graduate students with international experience when working on this project. Potential for involvement of undergraduates as well.
Countries
United Kingdom
Impact
Research
Institutional Partner(s)
University of Leeds
Community Partner(s)
Industry Partner(s)
Key Outcomes
Publications
Sponsorship
Federal Foreign
Sponsorship Details
Associated travel supported by NSERC and the EPSRC.
