Mon, 30 Nov 2015

17:00 - 18:00
L1

Slightly Rubbish Modular Ax-Lindemann

Haden Spence
(Oxford University)
Abstract

In quite an elementary, hands-on talk, I will discuss some Ax-Lindemann type results in the setting of modular functions.  There are some very powerful results in this area due to Pila, but in nonclassical variants we have only quite weak results, for a rather silly reason to be discussed in the talk.

Combining existential rules and description logics
 Amarilli, A Benedikt, M IJCAI International Joint Conference on Artificial Intelligence volume 2015-January 2691-2697 (01 Jan 2015)
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
 Cattaruzza, D Abate, A Schrammel, P Kroening, D volume 9291 312-331 (2015)
Logical Approaches to Query Optimization over Web-Based Sources.
 Benedikt, M AMW volume 1189 (2014)
Abstract Tensor Systems as Monoidal Categories
 Kissinger, A Lecture Notes in Computer Science volume 8222 235-252 (2014)
Tensors, !-graphs, and non-commutative quantum structures
 Kissinger, A Quick, D Electronic Proceedings in Theoretical Computer Science volume 172 56-67 (28 Dec 2014)
Contextuality, Cohomology and Paradox.
 Abramsky, S Barbosa, R Kishida, K Lal, R Mansfield, S CSL volume 41 211-228 (2015)
Games for Dependent Types
 Abramsky, S Jagadeesan, R Vákár, M Lecture Notes in Computer Science volume 9135 31-43 (20 Jun 2015)
Relational Databases and Bell’s Theorem
 Abramsky, S Lecture Notes in Computer Science volume 8000 13-35 (2013)
Semantic Unification - A Sheaf Theoretic Approach to Natural Language.
 Abramsky, S Sadrzadeh, M Categories and Types in Logic, Language, and Physics volume 8222 1-13 (2014)
Subscribe to