Model Theory of Adeles, Adele Classes, and Residual Hyperfields of Valued Fields

This is joint work with Angus Macintyre. We study model-theoretic properties of 
the ring of adeles, the hyperring of adele classes (studied by Connes-Consani), 
and residual hyperfields of valued fields (in the sense of Krasner).