Finite and infinite primes in models of PA

2022/12/20 by Daniele Mundici, Mundici, Daniele
Mathematics · #03H15 #Advanced Topology and Set Theory #FOS: Mathematics #Mathematical and Theoretical Analysis #Number Theory (math.NT) #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.2212.10104

openalex publication_date 2022/12/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We characterize models of Peano arithmetic (PA) with infinitely many infinite primes p such that p + 2 has no finite prime divisor.

Related

• Uncountable Real Closed Fields with PA Integer Parts
• The model theory of residue rings of models of Peano Arithmetic: The prime power case
• Aritmética
• Prime Factorization in Models of PV₁
• Classifying the complexity of models of arithmetic