О неразрешимости теории поля рациональных чисел и теории натуральных чисел с функцией последователя и отношением делимости – 2

Мы разберём результат об определимости сложения и умножения в структуре $(\mathbb{N}; s, |)$ [где $s$ обозначает функцию последователя, а $|$ — отношение делимости] и покажем, что $(\mathbb{N}; +, \cdot, =)$ интерпретируема в $(\mathbb{N}; s, \bot)$ [где $\bot$ — отношение взаимной простоты, т.е. $x \bot y$ означает, что $x$ и $y$ не имеют общих простых делителей]. Также мы обсудим связь определимости сложения и умножения в $(\mathbb{N}; s, \bot)$ с гипотезой Эрдёша–Вудса.

Общая аннотация серии — на странице первого доклада.