Jerusalem Mathematics Colloquium

Thursday, 10th June 2004, 4:00 pm
Mathematics Building, Lecture Hall 2

Alex Usvyatsov
(Hebrew University)

"Continuous model theory"

Abstract: We introduce a framework in which classes of complete metric spaces with continuous extra-structure (e.g. Banach spaces) can be treated. It can be viewed in several equivalent ways, each one involves introducing a generalized logic, which satisfies the compactness theorem, but does not have the same expression power as the first order logic.

We develop the basics of model theory (stability theory) in this context and present the analog of Morley's categoricity theorem for classes of complete metric spaces. This work is a part of my PhD thesis which is being done under the supervision of S.Shelah.

Light refreshments will be served in the faculty lounge at 3:30.

List of talks, 2003-04
List of talks, 2002-03
List of talks, 2001-02
List of talks, 2000-01
List of talks, 1998-99
List of talks, 1997-98