Wednesday, July 25, 2012 3:40 pm
-
3:40 pm
EDT (GMT -04:00)
Matthew Harrison-Trainor, Pure Mathematics, University of Waterloo
"$n$-systems - Part II"
We
will
continue
our
discussion
of
$n$-systems,
and
prove
a
general
"metatheorem''
with
a
list
of
conditions
that
guarantee
the
success
of
a
priority
construction.