activity
20122023
most citedAxioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings

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

collaborators
Showing 2021Show all

1 paper · 1 filter

math.LO2021★ 2 cited

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…