Logic Seminar
Levon Haykazyan, Department of Pure Mathematics, University of Waterloo
"Groups with Pregeometries"
We will prove that groups that carry locally modular homogeneous pregeometries are commutative.
MC 5403
Levon Haykazyan, Department of Pure Mathematics, University of Waterloo
"Groups with Pregeometries"
We will prove that groups that carry locally modular homogeneous pregeometries are commutative.
MC 5403
Jonny Stephenson, Department of Pure Mathematics, University of Waterloo
"Existential atomicity and universal types"
We will continue our study of existentially atomic models. We will introduce and prove a characterization of existential atomicity in terms of the universal types realized in the structure - this characterization is analogous to the standard model-theoretic definition of atomicity.
MC 5403
Akos Nagy, Department of Pure Mathematics, University of Waterloo
"Seiberg-Witten equation with multiple spinors in dimension 3 -- Part II"
After finishing the a priori estimates for the solutions of the multi-spinor SW equations, we will conclude the first part of the Main Theorem. Then we will continue with proving more difficult bounds (using the curvature of the manifold) for the second part.
M3 3103
Sam Kim, Department of Pure Mathematics, University of Waterloo
"Minkowski's Theorem"
A lattice is a discrete subgroup of $\mathbb{R}^n$. Minkowski's lattice point theorem states that given a lattice of rank n and a convex set $S$ in $\mathbb{R}^n$ which is large enough, the convex set must contain a point in the lattice. In this talk we will prove Minkowski's theorem and apply this result to prove some nice results in number theory.
MC 5501
Ertan Elma, Department of Pure Mathematics, University of Waterloo
"The Larger Sieve"
Gallagher's larger sieve is a method in analytic number theory that gives an upper bound on the size of a finite set of integers if there is such a bound when the set is reduced modulo prime powers. After establishing the larger sieve inequality we will see an application due to Gallagher.
MC 5403
Diana Castaneda Santos, Department of Pure Mathematics, University of Waterloo
"Topological properties of $Spec(A)$"
Anthony McCormick, Department of Pure Mathematics, University of Waterloo
"Stabilizers of Actions on Projective Space"
Wilson Cheung
"Topos theory X"
We continue chapter 7 of Goldblatt; we study the algebra of subobjects of an element of a topos.
MC 5413
Christopher Hawthorne and Edward Lee
"Continuous model theory VI"
We begin chapter 6 of Model theory for metric structures; we discuss the continuous analogue of an adequate set of connectives. Time permitting, we begin chapter 7: constructions of models.
MC 5403
Alexander Yampolsky, V.N. Karazin National University, Kharkiv, Ukraine
"Geometry of vector fields from the Riemannian geometry viewpoint"