Publication:4735188
From MaRDI portal
zbMath0685.03040MaRDI QIDQ4735188
Publication date: 1989
coding; coprimeness relation; Robinson problem; definability of arithmetical functions; Schnirelman's theorem
03F30: First-order arithmetic and fragments
Related Items
A list of arithmetical structures complete with respect to the first-order definability, Asymptotic behaviour of the kernel of an integer, On arithmetical first-order theories allowing encoding and decoding of lists