Model Theory Seminar
Martin Hils, Universitat Munster
“Equivariant definable deformation retractions in non-archimedean geometry” (joint work with Ehud Hrushovski and Pierre Simon)”
Martin Hils, Universitat Munster
“Equivariant definable deformation retractions in non-archimedean geometry” (joint work with Ehud Hrushovski and Pierre Simon)”
Anton Iliashenko and Spiro Kargiannis, Department of Pure Mathematics University of Waterloo
“First and Second variation of the Volume functional”
Abstract
In this talk we will derive the first and second variational formulas for the volume functional of a submanifold.
“Vector cross products and calibrations: some non-standard inner product space theory”
Abstract
Matthew Satriano, Department of Pure Mathematics, University of Waterloo
“The valuative tree in action”
A sketch of Xie’s proof of Medvedev-Scanlon for Affine 2-space
Arthur Baragar, University of Nevada
“Apollonian packings and Enriques surfaces”
Diana Castaneda Santos, Department of Pure Mathematics, University of Waterloo
"Rational approximations on smooth rational surfaces"
Speaker 1: Spencer Whitehead, Department of Pure Mathematics, University of Waterloo
"Regular polytopes and uniform polytopes"
**Please note date change**
Abdullahi Umar, Khalifa University of Science and Technology, Abu Dhabi, UAE
''Some Remarks on Monoids of Contraction Mappings of a Finite Chain"
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"Effectively defining formulas in Robinson's Arithmetic"
It was proven by Alfred Tarski that all general recursive functions are definable in Robinson's Arithmetic. I will give his proof of this fact with supplementary information on how to make the process of finding the defining formula effective.
MC 5479
Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo
"Fixed point theorem for trees"
Brett and Matt talked about $V_0$ and $V_\infty$, two different subtrees of the Berkovich plane. All of these are rooted trees. I will either talk about potential theory on trees, or the theorem that every tree map admits a fixed point.
MC 5403
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Computability of Walker's Cancellation Theorem"