加载中…
2022-12-20
Finite and infinite primes in models of PA
Daniele Mundici
文献摘要
We characterize models of Peano arithmetic (PA) with infinitely many infinite primes p such that p + 2 has no finite prime divisor.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本