More on an undecidability result of Bateman, Jockusch and Woods
From MaRDI portal
Publication:4391420
DOI10.2307/2586585zbMath0897.03013MaRDI QIDQ4391420
Publication date: 19 October 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586585
undecidability; multiplication of natural numbers; first-order definability; linear case of Schinzel's hypothesis (H); theories with a predicate for primes
11U05: Decidability (number-theoretic aspects)
03B25: Decidability of theories and sets of sentences
Related Items
Cites Work