Jan Minac, University of Western Ontario
"The 13th mysterious room of a palace of absolute Galois groups"
Michael Deveau, Department of Pure Mathematics, University of Waterloo
“Non-triviality of the Bounded Jump Hierarchy - Part 1”
Ben Moore, University of Waterloo
"A proof of the Hell-Neˇsetˇril Dichotomy via Siggers Polymorphism"
Nick Manor, Unviersity of Waterloo
"Exact Groups"
There are two notions of exactness for groups, but they are not known to be equivalent outside the discrete case. I will show how we can extend this equivalence to include two larger classes of groups.
MC 5403
Spiro Karigiannis, Department of Pure Mathematics, University of Waterloo
"A curious system of second order nonlinear PDEs for $\mathrm{U}(m)$-structures on manifolds"
Clifford Bearden, University of Texas at Tyler
"A module version of the weak expectation property"
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Non-triviality of the Bounded Jump Hierarchy - Part 2"
We continue with the proof that for all $B$, there is some set $A$ with $B <_{bT} A <_{bT} B^b$. We start the main construction itself, check that the requirements eventually settle and are met, and we investigate the correct $\hat{h}_A$ and $\hat{h}_C$ as promised.
MC 5413
Nigel Pynn-Coates, University of Illinois at Urbana-Champaign
"Asymptotic valued differential fields and differential-henselianity"
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Non-triviality of the Bounded Jump Hierarchy - Part 3"
We finish the proof that for all $B$, there is some set $A$ with $B <_{bT} A <_{bT} B^b$. We determine $\hat{h}_A$ and $\hat{h}_C$ as promised, taking into account the restrictions imposed by the construction, and prove that our choices are correct.
MC 5413