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

Title: | Continuous Model Theory |

Seminar: | Logic Seminar |

Speaker: | Jan Reimann, Penn State |

Abstract: |

While the basic framework of classical model theory is very suitable for algebraic structures, it is less so for metric structures, where the basic relation is not so much equality, but the distance between two objects.
One can extend classical model theory to better capture metric notions. One approach that has gained particular prominence is known as "continuous model theory". An essential feature of this approach is to replace the classical binary truth value by the continuous interval [0,1].
In this talk I will outline the basic features of continuous model theory, in particular how syntax and semantics work in this approach and how basic model theoretic notions such as elementary substructures are being recast. This will be followed by a number of talks over the next weeks that look at more advanced model theory from a continuous point of view. |

### Room Reservation Information

Room Number: | MB315 |

Date: | 10 / 28 / 2014 |

Time: | 02:30pm - 03:45pm |