Events

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Thursday, October 6, 2016 1:30 pm - 1:30 pm EDT (GMT -04:00)

Topos Theory Learning Seminar

Christopher Hawthorne, Pure Mathematics, University of Waterloo

We begin chapter 4 of Goldblatt. (Category theory background from chapter 3 will be assumed.) We introduce subobjects and subobject classifiers; time permitting, we will get to the definition of a topos.

Wednesday, November 23, 2016 4:00 pm - 4:00 pm EST (GMT -05:00)

Pure Math Graduate Student Colloquium

Satish Pandey, Pure Mathematics, University of Waterloo

"The Dinitz Problem and Five-Colouring Plane Graphs"

G. H. Hardy firmly believed that there is no permanent place for ugly Mathematics. Following his dictum, Paul Erdos liked to talk about "The Book" in which God maintains the perfect proofs for mathematical theorems. This talk is an attempt to explore Erdos'  idea of perfect proofs, and the territory we choose to explore is graph theory.

Thursday, November 24, 2016 2:30 pm - 2:30 pm EST (GMT -05:00)

Logic Seminar

Bradd Hart, University of McMaster

"Logical unification"

I will talk on preliminary work on the role of [0,1]-valued
logic in unifying the growing number of first order logics. In
particular, elementary classes in [0,1]-valued logic are CATs in the
sense of Ben Yaacov and the class of von Neumann algebras with faithful
actions on Hilbert spaces form an elementary class.

Tuesday, January 10, 2017 3:00 pm - 3:00 pm EST (GMT -05:00)

Computability Learning Seminar

Mohammad Mahmoud, Pure Mathematics, University of Waterloo

"Existentially-atomic models"

We will talk about "Existentially atomic" and "Existentially algebraic" structures. We will give some examples and will show that being existentially algebraic implies being existentially atomic. As a particular example, we will prove a necessary and sufficient condition for a linear ordering to be existentially atomic.

Thursday, January 12, 2017 4:00 pm - 4:00 pm EST (GMT -05:00)

Graduate Student Colloquium

Hongdi Huang, Pure Mathematics, University of Waterloo

"On *-clean group algebras"

A ring $R$ is called a $*$-ring (or a ring with involution $*$) if there exists an operation $*$: $R \rightarrow R$ such that $(x+y)^*=x^*+y^*, \,\ (xy)^*=y^*x^* \,\ $ and $(x^*)^*=x$,
for all $x, y\in R$.  An element in a ring $R$ is called $*$-clean if it is the sum of a unit and a projection ($*$-invariant idempotent). A $*$-ring is called $*$-clean if each of its elements is the sum of a unit and a projection.

Friday, January 13, 2017 3:30 pm - 3:30 pm EST (GMT -05:00)

Analysis Seminar

Ken Dykema, Texas A & M University

"Commuting operators in finite von Neumann algebras"

We find a joint spectral distribution measure for families
of commuting elements of a finite von Neumann algebra.  This
generalizes the Brown measure for single operators.  Furthermore, we
find a lattice (based on Borel sets) consisting of hyperinvariant
projections that decompose the spectral distribution measure.  This
leads to simultaneous upper triangularization results for commuting
operators.