Model-theoretic $K_1$ of free modules over PIDs

Sourayan Banerjee, Amit Kuber

Motivated by Krajiček and Scanlon's definition of the Grothendieck ring $K_0(M)$ of a first-order structure $M$, we introduce the definition of $K$-groups $K_n(M)$ for $n\ge 0$ via…