Decidability and classification of the theory of integers with primes

Itay Kaplan; Saharon Shelah

doi:10.1017/jsl.2017.16

Decidability and classification of the theory of integers with primes

Itay Kaplan, Saharon Shelah

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th (+, 1, 0, Pr) where Pr is a predicate for the prime numbers and their negations is decidable, unstable, and supersimple. This is in contrast with Th (+, 0, Pr, <) which is known to be undecidable by the works of Jockusch, Bateman, and Woods.

Original language	English
Pages (from-to)	1041-1050
Number of pages	10
Journal	Journal of Symbolic Logic
Volume	82
Issue number	3
DOIs	https://doi.org/10.1017/jsl.2017.16
State	Published - 1 Sep 2017

Bibliographical note

Funding Information:
§4. Acknowledgements. The first author would like to thank the Israel Science foundation for partial support of this research (Grant no. 1533/14). The research leading to these results has received funding from the European Research Council, ERC Grant Agreement n. 338821. No. 1082 on the second author’s list of publications.

Publisher Copyright:
Copyright © The Association for Symbolic Logic 2017.

Keywords

Dickson's conjecture
decidability
model theory
primes

Access to Document

10.1017/jsl.2017.16

Cite this

@article{21095df5ee1a4a6598b7f5bd44ad949b,

title = "Decidability and classification of the theory of integers with primes",

abstract = "We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th (+, 1, 0, Pr) where Pr is a predicate for the prime numbers and their negations is decidable, unstable, and supersimple. This is in contrast with Th (+, 0, Pr, <) which is known to be undecidable by the works of Jockusch, Bateman, and Woods.",

keywords = "Dickson's conjecture, decidability, model theory, primes",

author = "Itay Kaplan and Saharon Shelah",

note = "Publisher Copyright: Copyright {\textcopyright} The Association for Symbolic Logic 2017.",

year = "2017",

month = sep,

day = "1",

doi = "10.1017/jsl.2017.16",

language = "אנגלית",

volume = "82",

pages = "1041--1050",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - Decidability and classification of the theory of integers with primes

AU - Kaplan, Itay

AU - Shelah, Saharon

PY - 2017/9/1

Y1 - 2017/9/1

N2 - We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th (+, 1, 0, Pr) where Pr is a predicate for the prime numbers and their negations is decidable, unstable, and supersimple. This is in contrast with Th (+, 0, Pr, <) which is known to be undecidable by the works of Jockusch, Bateman, and Woods.

AB - We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th (+, 1, 0, Pr) where Pr is a predicate for the prime numbers and their negations is decidable, unstable, and supersimple. This is in contrast with Th (+, 0, Pr, <) which is known to be undecidable by the works of Jockusch, Bateman, and Woods.

KW - Dickson's conjecture

KW - decidability

KW - model theory

KW - primes

UR - http://www.scopus.com/inward/record.url?scp=85029631912&partnerID=8YFLogxK

U2 - 10.1017/jsl.2017.16

DO - 10.1017/jsl.2017.16

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85029631912

SN - 0022-4812

VL - 82

SP - 1041

EP - 1050

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 3

ER -

Decidability and classification of the theory of integers with primes

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this