Topos Theory Learning Seminar
Wilson Cheung, University of Waterloo
"Topos theory XI"
We continue chapter 7 of Goldblatt; we study Boolean topoi and implication.
MC 5413
Wilson Cheung, University of Waterloo
"Topos theory XI"
We continue chapter 7 of Goldblatt; we study Boolean topoi and implication.
MC 5413
Ertan Elma, Department of Pure Mathematics, University of Waterloo
"Perron's Formula"
The aim of this talk is to observe some connections between the Riemann zeta function and the prime numbers. While doing this, we will naturally touch Perron's formula which relates an arithmetical object to an analytic one. On one side of this formula, we will see a sum over natural numbers, on the other side, we will see an integral in the complex plane of a meromorphic function.
MC 5501
Jose A. Zapata, Centro de Ciencias Matematicas, Universidad Nacional Autonoma de Mexico
"The bundle of a lattice gauge field"
**CANCELLED**
Zsolt Tanko, Department of Pure Mathematics, University of Waterloo
"Homology of the Fourier algebra"
Ivan Kobyzev, Department of Pure Mathematics, University of Waterloo
In this talk we will finish the proof of the log-concavity conjecture using Hodge theory for matroids. This is a continuation of the previous talk.
MC 5403
Ruizhang Jin, Department of Pure Mathematics, University of Waterloo
"NIP, Keisler measures and Combinatorics"
We continue reading this Bourbaki seminar article by Starchenko. We will study Keisler measure, and hopefully finish section 3.1-3.3.
MC 5413
William Slofstra, Institute for Quantum Computing, University of Waterloo
"The mathematics of non-local games"
Rahim Moosa, Department of Pure Mathematics, University of Waterloo
"Bounding solutions to first-order differential equations"
In this talk I will try to show how a recent theorem of myself and James Freitag on the model theory of differentially closed fields answers a question of Eremenko's from 1998 on algebraic solutions to a differential equation of the form P(x,x')=0 where P is a polynomial over C(t).
MC 5403
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Scott Sentences for Existentially Atomic Structures"
We have seen the existence of a Scott family comprised of existential formulas for a structure is equivalent to the that structure being existentially atomic. We can now define the equivalent notion for a single (infinite) sentence, and prove that possessing such a sentence is also equivalent to the structure being existentially atomic. As per usual, we will also prove an effective version.
MC 5403
Chris Schafhauser, Department of Pure Mathematics, University of Waterloo
"Amenability and Quasidiagonality -- The Tikuisis-White-Winter Theorem"