Yimu Yin, Hrushovski-Kazhdan style integration in valued fields
Abstract: I will describe how to construct Hrushovski-Kazhdan
style motivic integration in algebraically closed valued fields,
starting with the first-order setup in detail. I will explain what
motivic integration in general means and why logic plays a fundamental
role in its development. Then, if time permits, I will discuss some of
its applications to the study of Igusa local zeta functions and
topological zeta functions.
Tomohiro Kawakami, Equivariant definable homotopy extensions,
Abstract: Let \mathcal N=(R, +, \cdot, <, \dots)$ be an o-minimal
extension of a real closed field. Let G be a definably compact definable
group, X a definable G set and A a definable closed G subset of X. We
prove that (X, Y) admits an equivariant definable homotopy extension.
Yu-Ichi Tanaka, Resplendent models of o-minimal expansions of
RCOF
Abstract: Ressaryre's theorem says that a real closed ordered
field(RCOF) is characterized by its integer part. I'm investigating
o-minimal theories to generalize Ressaryre's theorem. There are two
results: a characterization of countable recursively saturated models of
some o-minimal expansions of RCOF and a natural construction of such
model.
Masanori Itai, On the notion of isomorphisms of quantum-tori
Abstract: In my talk, we review the construction of quntum 2-tori and
discuss the notion and structure of their isomorphisms.
Akito Tsuboi, Simple proof of a basic result of forking
Abstract: A usual proof of the existence of a Morley sequnce in a
simple theory uses Erdos-Rado theorem. I give a simple proof that
does not use Erdos-Rado theorem.
Kota Takeuchi, Several results on the n-dependent property
Abstract: We show several properties of n-dependent theories by using
combinatorial techniques, especially Ramsey property of hypergraphs
and Turan-type problem on hypergraphs.