Past Logic Seminar

10 May 2012
17:00
Jamshid Derakhshan
Abstract
This is joint work with Raf Cluckers, Eva Leenknegt, and Angus Macintyre.<br /><br />We give a first-order definition, in the ring language, of the ring of p-adic integers inside the field&nbsp;p-adic numbers which works uniformly for all p and for valuation rings of all finite field extensions and of&nbsp;all local&nbsp;fields of positive characteristic p, and in many other Henselian valued fields as well. The formula canbe taken existential-universal in the ring language. Furthermore, we show the negative result that in the language&nbsp;of rings there does not exist a uniform definition by an existential formula and neither by a universal formula. For any fixed general p-adic field we give an existential formula in the ring language which defines the valuation ring.</p> <p>We also state some connections to some open problems.</p>
26 April 2012
17:00
Angus Macintyre (QMUL)
Abstract
Shapiro's Conjecture says that two classical exponential polynomials over the complexes can have infinitely many common zeros only for algebraic reasons. I will explain the history of this, the connection to Schanuel's Conjecture, and sketch a proof for the complexes using Schanuel, as well as an unconditional proof for Zilber's fields.
1 March 2012
17:00
Dugald Macpherson (Leeds)
Abstract
I will give an overview of the description of imaginaries in algebraically closed (and some other) valued fields, and then discuss the related issue for valued fields with analytic structure (in the sense of Lipshitz-Robinson, and Denef – van Den Dries). In particular, I will describe joint work with Haskell and Hrushovski showing that in characteristic 0, elimination of imaginaries in the `geometric sorts’ of ACVF no longer holds if restricted exponentiation is definable.
16 February 2012
17:00
Peter Pappas (Oxford)
Abstract
<p>This talk will be accessible to non-specialists and in particular details how model theory naturally leads to specific representations of abelian group rings as rings of global sections. The model-theoretic approach is motivated by algebraic results of Amitsur on the Semisimplicity Problem, on which a brief discussion will first be given.</p>
9 February 2012
17:00
Mike Prest (Manchester)
Abstract
To each additive definable category there is attached its category of pp-imaginaries. This is abelian and every small abelian category arises in this way. The connection may be expressed as an equivalence of 2-categories. We describe two associated spectra (Ziegler and Zariski) which have arisen in the model theory of modules.
26 January 2012
16:00
Abstract
In http://logic.pdmi.ras.ru/~yumat/personaljournal/artlessmethod/<br />artlessmethod.php the speaker described a surprising method for (approximate) calculation of the zeros of Riemann’s zeta function using terms of the divergent Dirichlet series.In the talk this method will be presented together with some heuristic “hints” explaining why the divergence of the series doesn’t spoil its use. Several conjectures about the zeros of Riemann’s zeta function will be stated including supposed new relationship between them and the prime numbers.

Pages