MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1916
Preprint Number 1916
1916. P. D'Aquino and A. Macintyre The model theory of residue rings of models of Peano Arithmetic: The
prime power case E-mail: Submission date: 30 January 2021 Abstract: In [MacResField] the second author gave a systematic analysis of
definability and decidability for rings M/pM, where
M is a model of Peano Arithmetic and p is a prime in
M. Mathematics Subject Classification: 03H15, 03C10 Keywords and phrases: |

Last updated: March 23 2021 10:21 | Please send your corrections to: |