More on an undecidability result of Bateman, Jockusch and Woods

DOI10.2307/2586585zbMath0897.03013OpenAlexW2114088055MaRDI QIDQ4391420

Maurice Boffa

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

zbMATH Keywords

undecidabilitymultiplication of natural numbersfirst-order definabilitylinear case of Schinzel's hypothesis (H)theories with a predicate for primes

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

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

Cites Work

• Decidability and undecidability of theories with a predicate for the primes

This page was built for publication: More on an undecidability result of Bateman, Jockusch and Woods