Showing 2026Show all
3 papers · 1 filter
math.NT2026
On divergence related to Riemann--von Mangoldt's explicit formula of the prime-counting function
Harald Grobner
An explicit formula for the prime-counting function , usually attributed to Riemann and von Mangoldt, is prominently stated as the equation , where th…
math.NT2026
On the residual Eisenstein cohomology of unitary groups
Harald Grobner
We investigate the residual Eisenstein cohomology of an arbitrary unitary group attached to an arbitrary quadratic extension of number fields . Our focus lies on the co…
math.LO2026
Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
Harald Grobner
In much discussed work Artemov has recently argued that, for , the consistency schema admits a form of uniform verification via selector-proofs, despite the unprovabil…