Twins problem in formal arithmetic

DOI10.1007/BF01159536zbMath0434.03039MaRDI QIDQ1139585

Yu. G. Penzin

Publication date: 1980

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

twin primesring of polynomials in one variablediscrete linearly ordered commutative and associative rings with identity

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Distribution of primes (11N05) Nonstandard models of arithmetic (03H15) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Related Items (1)

A list of arithmetical structures complete with respect to the first-order definability

Cites Work

• Unnamed Item
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES

This page was built for publication: Twins problem in formal arithmetic