1 paper
Raf Cluckers, Deirdre Haskell
We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the p…