| 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).
|