Seminários de Lógica Matemática

5 de Junho 2008, 17h00

ON A C*-ALGEBRA FORMALISM FOR CONTINUOUS LOGIC
SALA 3.10 - IST

ITAI BEN-YAACOV (Université Claude Bernard, Lyon)

Abstract:

I shall describe a very natural approach to the construction of continuous first order formulae as members of a commutative unital C*-algebra and sketch out a proof of Gödel's completeness theorem in this formalism.

| back