Return to Issue Details Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers Download Download PDF