The theory of integer multiplication with order restricted to primes is decidable

1997 ◽  
Vol 62 (1) ◽  
pp. 123-130 ◽  
Author(s):  
Françoise Maurin
Keyword(s):  
Prime Numbers ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Integer Multiplication ◽  
Order Restricted ◽  
Positive Integers ◽  
Usual Order

AbstractWe show here that the first order theory of the positive integers equipped with multiplication remains decidable when one adds to the language the usual order restricted to the prime numbers. We see moreover that the complexity of the latter theory is a tower of exponentials, of height O(n).

More on an undecidability result of Bateman, Jockusch and Woods

1998 ◽  
Vol 63 (1) ◽  
pp. 50-50 ◽  
Author(s):  
M. Boffa
Keyword(s):  
Prime Numbers ◽  
Order Theory ◽  
Linear Case ◽  
Natural Numbers ◽  
Fixed Element ◽  
First Order ◽  
First Order Theory ◽  
Image Position ◽  
Dirichlet Theorem ◽  
Undecidability Result

Let P be the set of prime numbers. Theorem 1 of [1] shows that the linear case of Schinzel's Hypothesis (H) implies that multiplication is definable in 〈ω,+,P〉 and therefore that the first-order theory of this structure is undecidable. Let m be any fixed natural number >2, let R be the set of natural numbers <m which are prime to m, and let r be any fixed element of R. The setis infinite (Dirichlet). Theorem 1 of [1] can be improved as follows:Proposition. The linear case of Schinzel's Hypothesis (H) implies that multiplication is definable in 〈ω,+,Pm,r〉 and therefore that the first-order theory of this structure is undecidable.Proof. We follow [1] with the following new ingredients. Let k be the number of elements of R, i.e. k = ϕ(m) where ϕ is Euler's totient function. Since k is even, the polynomial g(n) = nk + n satisfies g(0) = g(−1) = 0, so (by Lemma 1 of [1]) it follows from the linear case of (H) that there are natural numbers al (l ϵ ω) such that al+g(0), al+g(1),…, al+g(l) are consecutive primes. Since R is finite, we may assume that all the al's have the same residue t in R, so that al+g(i) ≡ t+1+i (mod m) for i ϵ R. This implies that the function t+1+i (reduced mod m) gives a permutation of R, so we can find s ϵ R such that al+g(s) ≡ r (mod m). Consider the polynomial h(n) = g(s + mn) and let bl = as+ml. Then bl + h(0), bl + h(1),…, bl + h(l) are elements of Pm,r. They are not necessarily consecutive elements of Pm,r, but they are separated by a fixed number of elements of Pm,r. This implies that {h(n) ∣ n ϵ ω} is definable in 〈ω,+,Pm,r〉(by adapting the proof of Theorem 1 of [1]), and the result follows.

scholarly journals On equations and first-order theory of one-relator monoids

2021 ◽  
pp. 104745
Author(s):  
Albert Garreta ◽  
Robert D. Gray
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory

scholarly journals A first-order theory of Ulm type

Computability ◽  
2019 ◽  
Vol 8 (3-4) ◽  
pp. 347-358
Author(s):  
Matthew Harrison-Trainor
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory

scholarly journals Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers

2015 ◽  
Vol 57 (2) ◽  
pp. 157-185 ◽  
Author(s):  
Peter Franek ◽  
Stefan Ratschan ◽  
Piotr Zgliczynski
Keyword(s):  
Order Theory ◽  
Real Numbers ◽  
First Order ◽  
First Order Theory

The spectrum of resplendency

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin
Keyword(s):  
Homogeneous Model ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Uncountable Cardinal ◽  
Recursive Theory ◽  
Finite Language

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.

Sign in / Sign up

Export Citation Format

Share Document