We calculate the universal Euler characteristic and universal dimension function on semilinear and semibounded sets and obtain some criteria for definable equivalence of semilinear and semibounded sets in terms of these invariants.

We find the complete Euler characteristics for the categories of definable sets and functions in strongly minimal groups. Their images, which represent the Grothendieck semirings of those categories, are all isomorphic to the semiring of polynomials over the integers with nonnegative leading coefficient. As a consequence, injective definable endofunctions in those groups are surjective. For infinite vector spaces over arbitrary division rings, the same results hold, and more: We also establish the Fubini property for all Euler characteristics, and extend the (...) complete one to the eq-expansion of those spaces while preserving the Fubini property but not completeness. Then, surjective interpretable endofunctions in those spaces are injective, and conversely. Our presentation is made in the general setting of multi-sorted structures. (shrink)

We construct Hrushovski–Kazhdan style motivic integration in certain expansions of ACVF. Such an expansion is typically obtained by adding a full section or a cross-section from the RV-sort into the VF-sort and some extra structure in the RV-sort. The construction of integration, that is, the inverse of the lifting map , is rather straightforward. What is a bit surprising is that the kernel of is still generated by one element, exactly as in the case of integration in ACVF. The overall (...) construction is more or less parallel to the main construction of Hrushovski and Kazhdan , as presented in Yin and Yin . As an application, we show uniform rationality of Igusa zeta functions for non-archimedean local fields with unbounded ramification degrees. (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 show that in an arbitrary o-minimal structure the following are equivalent: conjugates of a definable subgroup of a definably connected, definably compact definable group cover the group if the o-minimal Euler characteristic of the quotient is non zero; every infinite, definably connected, definably compact definable group has a non trivial torsion point.

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over [Formula: see text] but has [Formula: see text]-measure 0 for every automorphism invariant Keisler measure [Formula: see text] and (ii) a definable group [Formula: see text] in a simple theory such that [Formula: see text] is not definably amenable, i.e. there is no translation invariant Keisler measure on [Formula: see text]. We also discuss paradoxical decompositions both in the setting of discrete groups (...) and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups. (shrink)

We find the complete Euler characteristics for the categories of definable sets and functions in strongly minimal groups. Their images, which represent the Grothendieck semirings of those categories, are all isomorphic to the semiring of polynomials over the integers with nonnegative leading coefficient. As a consequence, injective definable endofunctions in those groups are surjective. For infinite vector spaces over arbitrary division rings, the same results hold, and more: We also establish the Fubini property for all Euler characteristics, and extend the (...) complete one to the eq-expansion of those spaces while preserving the Fubini property but not completeness. Then, surjective interpretable endofunctions in those spaces are injective, and conversely. Our presentation is made in the general setting of multi-sorted structures. (shrink)

A weakly o-minimal structure image expanding an ordered group is called nonvaluational iff for every cut left angle bracketC,Dright-pointing angle bracket of definable in image, we have that inf{y−x:xset membership, variantC,yset membership, variantD}=0. The study of nonvaluational weakly o-minimal expansions of real closed fields carried out in [D. Macpherson, D. Marker, C. Steinhorn,Weakly o-minimal structures and real closed fields, Trans. Amer. Math. Soc. 352 5435–5483. MR1781273 (2001i:03079] suggests that this class is very close to the class of o-minimal expansions of (...) real closed fields. Here we further develop this analogy. We establish an o-minimal style cell decomposition for weakly o-minimal non-valuational expansions of ordered groups. For structures enjoying such a strong cell decomposition we construct a canonical o-minimal extension. Finally, we make attempts towards generalizing the o-minimal Euler characteristic to the class of sets definable in weakly o-minimal structures with the strong cell decomposition property. (shrink)

In connection with the work of Anscombe, Macpherson, Steinhorn and the present author in [1] we investigate the notion of a multidimensional exact class, a special kind of multidimensional asymptotic class with measuring functions that yield the exact sizes of definable sets, not just approximations. We use results about smooth approximation [24] and Lie coordinatization [13] to prove the following result, as conjectured by Macpherson: For any countable language $\mathcal {L}$ and any positive integer d the class $\mathcal {C}$ of (...) all finite $\mathcal {L}$-structures with at most d 4-types is a polynomial exact class in $\mathcal {L}$, where a polynomial exact class is a multidimensional exact class with polynomial measuring functions. (shrink)

We show that if G is a definably compact, definably connected definable group defined in an arbitrary o-minimal structure, then G is divisible. Furthermore, if G is defined in an o-minimal expansion of a field, k ∈ ℕ and pk : G → G is the definable map given by pk = xk for all x ∈ G , then we have |–1| ≥ kr for all x ∈ G , where r > 0 is the maximal dimension of abelian (...) definable subgroups of G. (shrink)