Definability within structures related to Pascal’s triangle modulo an integer
Alexis Bès, Ivan Korec · Fundamenta Mathematicae · 1998
Let Sq denote the set of squares, and let $SQ_n$ be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let $B_n(x,y)=({x+y \atop x}) MOD n$. For every integer n ≥ 2 addition and multiplication are definable in the stru