Thursday, November 24, 2016 2:30 pm
-
2:30 pm
EST (GMT -05:00)
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.