Related papers: Integration in algebraically closed valued fields …
The first two steps of the construction of motivic integration in the fundamental work of Hrushovski and Kazhdan have been presented in arXiv:1006.2467v1. In this paper we present the final third step. As in arXiv:1006.2467v1, we limit our…
We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…
We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the…
This is the second installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain types of nonarchimedean $o$-minimal fields, namely power-bounded $T$-convex valued fields, and…
We develop a framework of motivic integration in the style of Hrushovski--Kazhdan in arbitrary Hensel minimal fields of equicharacteristic zero. Hence our work generalizes that of Hrushovski--Kazhdan and Yin, but applies more broadly to…
We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely power-bounded T-convex valued…
A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using…
In this paper, we construct four different theories of integration, two that are for Voevodsky motives, one for mixed $\ell$-adic sheaves, and a fourth theory of integration for rational mixed Hodge structures. We then show that they…
We define a motivic measure on the Berkovich analytification of an algebraic variety defined over a trivially valued field, and introduce motivic integration in this setting. The construction is geometric with a similar spirit as…
We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazhdan. This is done within the framework of model theory of…
Suppose that (K, $\nu$) is a valued field, f (z) $\in$ K[z] is a unitary and irreducible polynomial and (L, $\omega$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K…
We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of the Denef-Loeser motivic Milnor fiber and closely related…
We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…
We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded…
We prove that the space of intuitionistic fuzzy values (IFVs) with a linear order based on a score function and an accuracy function has the same algebraic structure as the one induced by a linear order based on a similarity function and an…
We give a simplified proof of elimination of imaginaries (in the geometric sorts) in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and…
In \cite{HK}, an integration theory for valued fields was developed with a Grothendieck group approach. It was shown that the semiring of semi-algebraic sets with measure preserving morphisms is isomorphic to a certain semiring formed out…
We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a…
We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the…
In this thesis, we use logarithmic methods to study motivic objects. Let R be a complete discrete valuation ring with perfect residue field k, and denote by K its fraction field. We give in chapter 2 a new construction of the motivic Serre…