2 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
Products of pseudofinite structures
Paola D'Aquino, Angus Macintyre
We prove that any product of a family of pseudofinite structures is pseudofinite. The main tools are the fundamental results on products of first order structures due to Feferman a…
Commutative unital rings elementarily equivalent to prescribed product rings
Paola D'Aquino, Angus Macintyre
The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structure…
The model theory of residue rings of models of Peano Arithmetic: The prime power case
P. D'Aquino, A. Macintyre
In \cite{MacResField} the second author gave a systematic analysis of definability and decidability for rings , where is a model of Peano Arith…
Truncations of Ordered Abelian Groups
Paola D'Aquino, Jamshid Derakhshan, Angus Macintyre
The abstract will be added in due course.