Charlotte Kirchoff-Lukat, University of Cambridge
"Lagrangian branes with boundary in stable generalised complex manifolds"
Diana Castaneda Santos, Department of Pure Mathematics, University of Waterloo
"Affine and Projective Planes"
Ali Kavruk, Virginia Commonwealth University
"Christandl's Problem and Connes' Embedding Problem"
Mohammad Mahmoud, University of Waterloo
"On the Computable Categoricity of Trees of Finite Height"
Jonny Stephenson, Department of Pure Mathematics, University of Waterloo
"The c.e. embeddability condition"
We will discuss the c.e. embeddability condition, which is a condition introduced by Richter, and which provides an exact characterization of those structures which do not code any non-c.e. sets. Such structures cannot have nontrivial Turing or enumeration degrees. If time permits, we will demonstrate that linear orderings have the c.e. embeddability condition.
MC 5403
Patrick Naylor, Department of Pure Mathematics, University of Waterloo
"The Quasi-Separation Continues"
This week, we'll continue working through topological properties of schemes. In particular, we'll look at quasiseparated, reduced, and integral schemes, and the various relations amongst these properties. Keeping in the spirit of last week, we should finish our tour of the "gallery of observations" of these properties, and with it Section 5.3.
MC 5479
Oleksiy Klurman, University College London
"Multiplicative functions over the function fields"
Christopher Hawthorne and Wilson Cheung, University of Waterloo
"Topos theory XVII"
We finish chapter 10: a proof of the completeness theorem of topoi for intuitionist logic, and some applications. We begin chapter 11 of Goldblatt: a discussion of categorical generalizations of quantifiers.
MC 5413
Anton Mosunov (Pure Mathematics) and Luis Antonio Ruiz (Combinatorics & Optimization), University of Waterloo
"Tomato Packing and Lettuce-Based Crypto"
Lettuce is good for you. Lattices are good for humanity. We are going to present some nutritious facts about lattices and convince you that they are good for your mathematical diet. Anton will explain the importance of lattices in the tomato/orange/sphere packing problem, and Antonio will show you that many portions of lattices a day may keep you safe from quantum hackers.
MC 5501
Stephen Lazzaro, University of Waterloo
"Continuous model theory X"
We begin chapter 8 of Model theory for metric structures: a discussion of types in the continuous setting.
MC 5403