activity
20122024
most citedThe model theory of residue rings of models of Peano Arithmetic: The prime power case

2 citations · 4 across the 7 of their papers we have counts for

collaborators
Showing math.ACShow all

1 paper · 1 filter

math.AC2020

Some model-theoretic perspectives on the structure sheaves of Z hat and the ring of finite adèles over Q

Paola D'Aquino, Angus J. Macintyre, Margarita Otero

We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and…