Login / Signup
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate.
Denis Richard
Published in:
Discret. Math. (1985)
Keyphrases
</>
first order logic
horn clauses
higher order
real time
databases
co occurrence
rough sets