Yimu Yin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Motivic integration and Milnor fiber Journal of the European Mathematical Society (JEMS)	2022-04-19	Paper
A graphical construction of free Markov categories	2022-04-11	Paper
Markov categories, causal theories, and the do-calculus	2022-04-10	Paper
$T$-convex valued fields with tempered exponentiation	2020-12-17	Paper
Bounded integral and motivic Milnor fiber	2019-10-25	Paper
Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields	2018-12-09	Paper
Lipschitz stratifications in power-bounded o-minimal fields Journal of the European Mathematical Society (JEMS)	2018-10-25	Paper
Integration in power-bounded $T$-convex valued fields	2018-08-21	Paper
Generalized Euler characteristic in power-bounded $T$-convex valued fields Compositio Mathematica	2017-11-21	Paper
An introduction to $\mathbb{P}_{\max}$ forcing	2017-07-11	Paper
Lipschitz stratifications in power-bounded o-minimal fields (available as arXiv preprint)	2015-09-08	Paper
Fourier transform of the additive group in algebraically closed valued fields Selecta Mathematica. New Series	2014-12-03	Paper
Additive invariants in o-minimal valued fields	2013-06-30	Paper
Integration in algebraically closed valued fields with sections Annals of Pure and Applied Logic	2012-11-20	Paper
Integration in algebraically closed valued fields Annals of Pure and Applied Logic	2011-09-12	Paper
Special transformations in algebraically closed valued fields Annals of Pure and Applied Logic	2011-08-26	Paper
Quantifier elimination and minimality conditions in algebraically closed valued fields	2010-06-07	Paper
Henselianity and the Denef-Pas language Journal of Symbolic Logic	2009-06-04	Paper
On logical characterization of henselianity	2007-05-02	Paper
Quantifier elimination for the reals with a predicate for the powers of two Theoretical Computer Science	2007-02-26	Paper
On the equivalence of two quantifier elimination tests	2007-02-13	Paper

Research outcomes over time

This page was built for person: Yimu Yin