Twins problem in formal arithmetic

DOI10.1007/BF01159536MaRDI QIDQ1139585zbMATH OpenFDO

Authors Yu. G. Penzin

Publication date 1980

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01159536

zbMATH Keywords

discrete linearly ordered commutative and associative rings with identityring of polynomials in one variabletwin primes

Mathematics Subject Classification ID

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

Cites work

• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• scientific article; zbMATH DE number 3536072 (Why is no real title available?)

Cited in

(1)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1139585)