Ernest Schimmerling

Mathematical logic seminar - September 29, 2004

Time: 12 - 1:20 p.m.

Room: Baker Hall 150

Speaker:     Alex Usvyatsov
Department of Mathematics
Hebrew University of Jerusalem

Title:     Continuous logic, stability and categoricity

Abstract:     Modifying Chang and Kielser definition of a continuous logic, we obtain a logic that generalizes both first order logic and Henson's logic for Banach spaces and allows natural development of local stability. We prove the analogue of Morley's categoricity theorem in this context (in fact, in a more general context of a homogeneous metric class).