We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: The model theory of residue rings of models of Peano Arithmetic: The prime power case

Abstract: In \cite{MacResField} the second author gave a systematic analysis of definability and decidability for rings $\mathcal M/p\mathcal M$, where $\mathcal M$ is a model of Peano Arithmetic and $p$ is a prime in $\mathcal M$. In the present paper we extend those results to the more difficult case of $\mathcal M/p^k\mathcal M$, where $\mathcal M$ is a model of Peano Arithmetic, $p$ is a prime in $\mathcal M$, and $k>1$. In \cite{MacResField} work of Ax on finite fields was used, here we use in addition work of Ax on ultraproduct of $p$-adics.
Subjects: Logic (math.LO)
MSC classes: 03H15, 03C10
Cite as: arXiv:2102.00295 [math.LO]
  (or arXiv:2102.00295v1 [math.LO] for this version)

Submission history

From: Paola D'Aquino [view email]
[v1] Sat, 30 Jan 2021 19:29:44 GMT (19kb)

Link back to: arXiv, form interface, contact.