Tannakian categories with semigroup actions

Alexey Ovchinnikov, Michael Wibmer

Ostrowski's theorem implies that $\log (x),\log (x+1),\dots$ are algebraically independent over $\mathbb{C}(x)$. More generally, for a linear differential or difference equation, it…