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