|Time:|| 12 - 1:20 p.m.
Baker Hall 150
|Speaker:|| Alex Usvyatsov
Department of Mathematics
Hebrew University of Jerusalem
Continuous logic, stability and categoricity
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).