41 citations · 54 across the 13 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020★ 7 cited
Formalizing the Ring of Witt Vectors
Johan Commelin, Robert Y. Lewis
The ring of Witt vectors over a base ring is an important tool in algebraic number theory and lies at the foundations of modern -adic Hodge theory. $\mathbb{W…
math.NT2020★ 1 cited
Exponential periods and o-minimality II
Johan Commelin, Annette Huber
This paper is a sequel to "Exponential periods and o-minimality I" that the authors wrote together with Philipp Habegger. We complete the comparison between different definitions o…
math.NT2020★ 2 cited
Exponential periods and o-minimality
Johan Commelin, Philipp Habegger, Annette Huber
Let be an exponential period. We show that the real and imaginary part of are up to signs volumes of sets definable in the o-minimal structure generated by $\…