Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1916

Preprint Number 1916

Previous Next Preprint server

1916. P. D'Aquino and A. Macintyre
The model theory of residue rings of models of Peano Arithmetic: The prime power case

Submission date: 30 January 2021


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.
In the present paper we extend those results to the more difficult case of M/p^kM, where M is a model of Peano Arithmetic, p is a prime in M, and k>1. In [MacResField] work of Ax on finite fields was used, here we use in addition work of Ax on ultraproduct of p-adics.

Mathematics Subject Classification: 03H15, 03C10

Keywords and phrases:

Full text arXiv 2102.00295: pdf, ps.

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