## Contact Info

Pure MathematicsUniversity of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

**University COVID-19 update:** visit our Coronavirus Information website for more information.

Please note: The University of Waterloo is closed for all events until further notice.

Wednesday, August 28, 2013 — 3:30 PM EDT

Monday, August 19, 2013 — 10:00 AM EDT

Tuesday, August 13, 2013 — 1:00 PM EDT

Throughout the spring 2013 term, we will (as a group) be reading through and lecturing on ”The Geometry of Yang-Mills Fields” by Sir Michael Atiyah. All are welcome to attend.

Tuesday, August 6, 2013 — 4:30 PM EDT

Tuesday, August 6, 2013 — 3:00 PM EDT

We take a break from NIP to talk about dp-minimality. I will use a 2011 paper by Dolich, Goodrick, and Lippel.

Tuesday, August 6, 2013 — 1:00 PM EDT

Hodge structure is an abstract notion modeled on the Hodge decomposition of cohomology groups of compact Kähler manifolds. We will introduce the basic notion of Hodge structure and see its relation with geometric objects such as abelian varieties and Riemann surfaces. If time permits we will discuss variation of Hodge structure, which is an important tool in complex algebraic geometry.

Tuesday, August 6, 2013 — 1:00 PM EDT

This talk will be a very brief summary of the work done up to date on a question posted by J.H.C. Whitehead in 1941. We will go through the statement of the conjecture, and review some classical results. Finally, we will use an algebraic characterization of 2-complexes to understand one of the approaches taken to solve the problem.

Friday, August 2, 2013 — 3:30 PM EDT

Friday, August 2, 2013 — 2:30 PM EDT

Mingzhong Cai recently introduced the degrees of provability to

compare the proof-theoretic strength of statements asserting the

totality of computable functions. They can also be viewed as the

Lindenbaum algebra of true $\Pi^0_2$ statements in first-order

arithmetic. We investigate the structure of the degrees of

Thursday, August 1, 2013 — 2:00 PM EDT

The main theme of this thesis is classifying classes of structures relative to various measurements. We will briefly discuss the notion of computable dimension, while the breadth of the paper will focus on calculating the Turing ordinal and the back-and-forth ordinal of various theories, along with an exploration of how these two ordinals are related in general.

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1