Seminários de Lógica Matemática

31 de Janeiro, 17h00

CONTINUOUS LOGIC AND MODEL THEORY OF METRIC STRUCTURES --- PART I
SALA 3.10 - IST

ALEX USVYATSOV (CMAF - UL)

Abstract:

Continuous model theory was first introduced by Chang and Keisler in 1966. I will give a series of lectures on a slightly modified version recently developed by Itai Ben-Yaacov and myself. This very natural generalization of first order logic allows a smooth model theoretic treatment of classes of metric structures equipped with continuous function. Among continuous elementary classes are the class of all Hilbert spaces, L_p spaces for a fixed p, probability algebras, unitary representations of a given descrete locally compact group, and more. I intend to develop basic model theoretic tools in this context, give examples and sketch a few applications to aNalysis.

| back