Dedekind sums and power residue symbols
In this paper we study three new shifted sums of Apostol-Dedekind-Rademacher type. The first sums are written in terms of Jacobi modular forms, and the second sums in terms of cotangent and the third sums are expressed in terms of special values of the Barnes multiple zeta functions. These sums generalize the classical Dedekind-Rademacher sums. The main aim of this paper is to state and prove the Dedekind reciprocity laws satisfied by these new sums. As an application of our Dedekind reciprocity...
Let Sq denote the set of squares, and let be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let . For every integer n ≥ 2 addition and multiplication are definable in the structures ⟨ℕ; Bn,⊥⟩ and ⟨ℕ; Bn,Sq⟩; thus their elementary theories are undecidable. On the other hand, for every prime p the elementary theory of ⟨ℕ; Bp,SQp⟩ is decidable.