PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Jason Rute, Stephen Simpson, Jan Reimann.

Title:Connectives and Constructions in Model Theory for Metric Structures
Seminar:Logic Seminar
Speaker:Jason Rute, PSU
Abstract:
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

Room Number:MB315
Date:11 / 18 / 2014
Time:02:30pm - 03:45pm