Twins problem in formal arithmetic
From MaRDI portal
Publication:1139585
DOI10.1007/BF01159536zbMath0434.03039MaRDI QIDQ1139585
Publication date: 1980
Published in: Mathematical Notes (Search for Journal in Brave)
twin primes; ring of polynomials in one variable; discrete linearly ordered commutative and associative rings with identity
03F30: First-order arithmetic and fragments
11N05: Distribution of primes
03H15: Nonstandard models of arithmetic
11U10: Nonstandard arithmetic (number-theoretic aspects)
Related Items
Cites Work