For more information about this meeting, contact Jason Rute, Stephen Simpson, Jan Reimann.
|Title:||Connectives and Constructions in Model Theory for Metric Structures|
|Speaker:||Jason Rute, PSU|
|This is a continuation in the series on Model Theory for Metric Structures. This week we will talk about how to express certain types of properties in the language of metric structures, namely existential properties and implications between properties. In addressing this topic we will discuss logical connectives, Lowenheim-Skolem, saturated models, strong-homogeneous models, and equivalent ways to express implication.|
Room Reservation Information
|Date:||11 / 18 / 2014|
|Time:||02:30pm - 03:45pm|