Spectrum of the profinite completion of the integers

Using ultraproducts, I will describe the spectrum of the profinite completion of the integers and of the finite adeles over the rationals.The final aim is to describe the structure sheaf of these structures.Joint work with Margarita Otero and Angus Macintyre.