Logic Seminars OctoberDecember 2013

30 Apr
2014 A Model of Belief, and Truth
Jeff Paris (Manchester)
Time: Wednesday, April 30^{th}, 3:30pm,Frank Adams 1, Alan Turing BuildingAbstractThe ENT model of belief was introduced by Alena Vencovská and myself in a paper in AI in 1993. Since then two other papers have appeared which provide some further possible support for this model. In my talk I shall sketch the original construction and these subsequent observations.

7 May
2014 Tba
Immi Halupczok (Leeds)
Time: Wednesday, May 7^{th}, 3:30pm,Frank Adams 1, Alan Turing Building 
21 May
2014 Tba
George Wilmers (Leeds)
Time: Wednesday, May 21^{st}, 3:30pm,Frank Adams 1, Alan Turing Building 
28 May
2014 Tba
Ronnie Nagloo (Leeds)
Time: Wednesday, May 28^{th}, 3:30pm,Frank Adams 1, Alan Turing Building 
2 Oct
2013 Existentially and universally definable valuation rings.
Will Anscombe (Leeds)
Time: Wednesday, October 2^{nd}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractWe give an exposition of results in recent papers (of CluckersDerakhshanLeenknegtMacintyre, and joint work of the speaker with Fehm and Koenigsmann) about the definability of valuation rings in valued fields by existential formulas and by universal formulas, using few parameters. We mainly work in power series fields and use parameters from the embedded residue field.

9 Oct
2013 Value monoids and Ziegler spectra of Prüfer rings
Lorna Gregory (Manchester)
Time: Wednesday, October 9^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractThe (right) Ziegler spectrum, Zg_R, of a ring R is a topological space attached to the (right) module category of R. This space encodes model theoretic (and algebraic) information about the module category. A valuation ring is a ring whose ideals are ordered by inclusion. A Prüfer ring is a ring whose localisations at maximal ideals are valuation rings. The value monoid of a commutative ring is its monoid of principal ideals. For a valuation domain, this is just the positive cone of the value group. I will explain how to construct the Ziegler spectrum of a Prüfer ring from its value monoid alone and how this perspective allows us to transfer soberness for Ziegler spectra of Prüfer domains to the nondomain case.

16 Oct
2013 Second Order Inductive Logic
Malte Kließ (Manchester)
Time: Wednesday, October 16^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractOver the past year we have become interested in extending probability functions to Second Order languages. While Second Order languages allow for more expressive strength, it also comes with the dangers of Incompleteness that is inherent in Second Order Logic. In this talk, I will present our approach to get around the Incompleteness problem. Furthermore I will introduce a rational principle for this Second Order version of Inductive Logic and give some results concerning this principle.

23 Oct
2013 Definable henselian valuation rings
Alexander Prestel (Konstanz)
Time: Wednesday, October 23^{th}, 3:30pm, G207, Alan Turing Buildingtba

6 Nov
2013 The Grothendieck ring of varieties
Amit Kuber (Manchester)
Time: Wednesday, November 6^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractThe value ring used in Kontsevich's theory of motivic integration is closely associated to the Grothendieck ring of varieties. I will describe the construction of the Grothendieck ring of varieties over an algebraically closed field and discuss two questions about its structure posed by Gromov and LarsenLunts. The aim of this talk is to show the equivalence of these two questions and that the underlying group of the Grothendieck ring is free abelian.

13 Nov
2013 Improving the bound in the PilaWilkie theorem for certain curves.
Gareth Jones (Manchester)
Time: Wednesday, November 13^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractThe PilaWilkie theorem gives a bound on the number of rational points of bounded height that lie on the transcendental part of a set definable in an ominimal expansion of the real field. The bound is optimal, but there is hope that it could be substantially improved in some particular cases. I'll describe one method for improving it in the case that the definable set is a curve, and the various results obtained by this method.

20 Nov
2013 Model Theory of Adeles and connections with Number Theory: Recent Developments and Challenges.
Jamshid Derakhshan (Oxford)
Time: Wednesday, November 20^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractThis is joint work with Angus Macintyre. I will state quantifier elimination theorems for the ring of adeles of a number field and its consequences for definable sets. I will then talk about measures of definable sets, relations to works by Weil, Tate, Langlands, BirchSwinnerton Dyer, and KontsevichZagier around Tamagawa numbers and Lfunctions, a conjectural picture, and partial results and several questions and challenges.

4 Dec
2013 Ominimality and algebraic properties of quasianalytic classes
JeanPhilippe Rolin (Dijon)
Time: Wednesday, December 4^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractIt is well known that quasianalytic systems of real functions can generate polynomially bounded ominimal expansions of the real field. Through a few examples, we study several algebraic properties of such systems, including recent results on Weierstrass preparation.

11 Dec
2013 A quasianalytic algebra based on the Hardy field of logexpanalytic functions
Patrick Speissegger (McMaster)
Time: Wednesday, December 11^{th}, 3:30pm, Frank Adams Room 1, Alan Turing BuildingAbstractIn his work on Dulac’s problem, Ilyashenko uses a quasianalytic class of functions that is a group under composition, but not closed under addition or multiplication. When trying to extend Ilyashenko’s ideas to understand certain cases of Hilbert’s 16th problem, it seems desirable to be able to define corresponding quasianalytic classes in several variables that are also closed under various algebraic operations, such as addition, multiplication, blowups, etc. One possible way to achieve this requires us to first extend the onevariable class into a quasianalytic algebra whose functions have unique asymptotic expansions based on monomials definable in R_{an,exp}. I will explain some of the difficulties that arise in constructing such an algebra and how far (or close) we are to obtaining it. (This is joint work with Tobias Kaiser.)

29 Jan
2014 More comparisons between Zilber fields and the complex exponential field.
Angus Macintyre (QMUL)
Time: Wednesday, January 29^{th}, 3:30pm, G.207, Alan Turing BuildingAbstractI compare Zilber's fields with the complex field , both terms of behaviour of classical exponential polynomials and in terms of complexity of models of the respective theories.

5 Feb
2014 Why indifference?: Accuracy, Risk, and the uniform distribution
Richard Pettigrew (Bristol)
Time: Wednesday, February 5^{th}, 2:30pm (NOTE THE UNUSUAL TIME), G.207, Alan Turing BuildingAbstractThe Principle of Indifference says that, in the absence of any evidence, we ought to adopt the uniform distribution over the space of possibilities. Why? I survey some existing justifications of the principle, due to Jaynes, Paris and Vencovská, and Williamson. Then I offer a new justification that appeals to the notion of accuracy along with decisiontheoretic principles that counsel risk aversion. At the end, I ask how the Principle of Indifference interacts with calibration norms.

10 Feb
2014 Maximum Entropy, Computational Algebra, and FirstOrder Logic
Gabriele KernIsberner (Dortmund)
Time: MONDAY, February 10^{th}, 3:00pm (NOTE THE UNUSUAL DAY AND TIME), Frank Adams 1, Alan Turing BuildingAbstractProbabilistic reasoning following the principle of maximum entropy is a viable and convenient alternative to Bayesian networks, relieving the user from providing complete (local) probabilistic information and observing rigorous conditional independence assumptions. This talk presents a novel approach to performing computational MaxEnt reasoning that makes use of symbolic computations instead of graphbased techniques. Given a probabilistic knowledge base, the MaxEnt optimization problem is encoded into a system of polynomial equations, and then Groebner basis theory is applied to find MaxEnt inferences as solutions of this system. Moreover, I will also present an approach to apply the MaxEnt methodology to knowledge bases built over a fragment of firstorder probabilistic logic.

19 Feb
2014 Topological Dynamics and Model Theory
Davide Penazzi (UCLAN)
Time: Wednesday, February 19^{th}, 3:30pm,Frank Adams 1, Alan Turing BuildingAbstractIn recent times topological dynamics has been rediscovered as a useful tool for model theoretical observations. The seminal works of Newelski and Pillay are leading the way to new methods to expand stabilitylike results outside the stable context with the creation of a “tame” or “definable” topological dynamics. In this talk I will give an introduction to topological dynamics, show how it is used in model theory and give an overview of the results obtained so far.

5 Mar
2014 The Theory of Spectrum Exchangeability
Elizabeth Howarth (Manchester)
Time: Wednesday, March 5^{th}, 3:30pm,Frank Adams 1, Alan Turing BuildingAbstractSpectrum Exchangeability, Sx, is an irrelevance principle of Pure Inductive Logic, an extension of atom exchangeability to polyadic languages. We investigate the theory of Spectrum Exchangeability: for a fixed language L the set of sentences of L which must be assigned probability 1 by every probability function satisfying Sx. We find that the theory of Sx is equal to the theory of finite structures for L, and it emerges that Sx is inconsistent with the principle of SuperRegularity (Universal Certainty).

12 Mar
2014 A logical approach to irrationality
Lee Butler (Bristol)
Time: Wednesday, March 12^{th}, 3:30pm,Frank Adams 1, Alan Turing BuildingAbstractWhen trying to prove that a given real number is irrational it helps to have an irrationality criterion to appeal to. These usually take the form of inequalities that a sequence of rational numbers' numerators and denominators all have to satisfy for their limit to be irrational. Viggo Brun asked whether it was possible to find irrationality criteria for numbers given by an infinite series with rational summands, where the criterion took the form of an inequality on the summands themselves, not their numerators and denominators. In this talk we'll see what happens if the criteria are general first order formula in some structure, and in particular in the case of ominimal structures.

19 Mar
2014 Schemes  structures duality in geometry and logic
Boris Zilber (Oxford)
Time: Wednesday, March 19^{th}, 3:30pm,G.108, Alan Turing BuildingAbstractThe wellknown duality of classical algebraic geometry between affine varieties and their coordinate rings has a perfect analogue in the theory of commutative C^*algebras, which can be seen by the Gel'fandNaimark theorem as the algebras of continuous complexvalued functions on a locally compact Hausdorff space. In modern geometry and physics one deals with much more complex generalisations of coordinate algebras, such as schemes, stacks and noncommutative C^*algebras, where a geometric counterpart is no longer readily available and in many cases is believed impossible. We will discuss a modeltheoretic project which challenges this point of view.
Previous seminars
Further information
For further information please contact Gareth Jones.