Publication:3714077
From MaRDI portal
zbMath0587.03043MaRDI QIDQ3714077
Publication date: 1985
successor function; coprimality predicate; definability of functions and predicates in arithmetic; predicate of quadratic residuation
03F30: First-order arithmetic and fragments
Related Items