String inspired progress in perturbative gauge theory
Abstract
Graphene and Evidence for Duality in Quantum Hall Systems
Abstract
Algorithmic algebraic geometry, flux vacua and the STRINGVACUA Mathematica package
Abstract
Mirror Mediation
Abstract
Special Geometry over $\mathbb C$ and $\mathbb Q_p$
Abstract
14:15
Strong theories, weight, and the independence property
Abstract
I will explain the connection between Shelah's recent notion of strongly dependent theories and finite weight in simple theories. The connecting notion of a strong theory is new, but implicit in Shelah's book. It is related to absence of the tree property of the second kind in a similar way as supersimplicity is related to simplicity and strong dependence to NIP.
14:15
Arithmetic in groups of piece-wise affine permutations of an interval
Abstract
Bardakov and Tolstykh have recently shown that Richard Thompson's group
$F$ interprets the Arithmetic $(\mathbb Z,+,\times)$ with parameters. We
consider a class of infinite groups of piecewise affine permutations of
an interval which contains all the three groups of Thompson and some
classical families of finitely presented infinite simple groups. We have
interpreted the Arithmetic in all the groups of this class. In particular
we have obtained that the elementary theories of all these groups are
undecidable. Additionally, we have interpreted the Arithmetic in $F$ and
some of its generalizations without parameters.
This is a joint work with Tuna Altınel.
10:00
Zariski reducts of o-minimal structures
Abstract
This is joint work with Assaf Hasson. We consider non-locally modular strongly minimal reducts of o-minimal expansions of reals. Under additional assumptions we show they have a Zariski structure.