2 citations · 8 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 2 cited
Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings
Jamshid Derakhshan, Angus Macintyre
We give axioms in the language of rings augmented by a 1-ary predicate symbol with intended interpretation in the Boolean algebra of idempotents as the ideal of finite ele…
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…