Decidability and Classification of the Theory of Integers with Primes.

Sun, 01 Jan 2017 00:00:00 +0100

Itay Kaplan , Saharon Shelah :
Decidability and Classification of the Theory of Integers with Primes. J. Symb. Log. 82(3): 1041-1050 (2017)