Finite and infinite primes in models of PA
Number Theory
2022-12-21 v1
Abstract
We characterize models of Peano arithmetic (PA) with infinitely many infinite primes p such that p + 2 has no finite prime divisor.
Cite
@article{arxiv.2212.10104,
title = {Finite and infinite primes in models of PA},
author = {Daniele Mundici},
journal= {arXiv preprint arXiv:2212.10104},
year = {2022}
}