We prove the triviality of the Grothendieck ring of a $\mathbb{Z}$-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K$^2$ to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...) integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings. (shrink)

We prove the triviality of the Grothendieck ring of a Z-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K 2 to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.

We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields F, if f(x),g(x) ∈ F[ x] and v is (...) the valuation map, then the set {x : v(f(x)) ≤ v(g(x))} is a Boolean combination of discs; in fact, it is a finite union of Swiss cheeses. The development also depends on the introduction of "valued trees", which we define formally. (shrink)

We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...) integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings. (shrink)