Abstract
For almost all binary relations R ⊆ N 2 the addition and multiplication on the set N of nonnegative integers (and hence all arithmetical relations) are first order definable in the structure (N; ⩽, R). The defining formulae can be chosen independently on R and the words “for almost all” mean “with probability 1” by a very natural probability measure.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call