# 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