DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES

DOI10.1017/jsl.2017.16zbMath1422.03071arXiv1601.07099MaRDI QIDQ5359574

Saharon Shelah, Itay Kaplan

Publication date: 26 September 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.07099

zbMATH Keywords

primes; decidability; model theory; Dickson's conjecture

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

03B25: Decidability of theories and sets of sentences

03F30: First-order arithmetic and fragments

03C45: Classification theory, stability, and related concepts in model theory

11A41: Primes