Subscribe by RSS Subscribe by RSS

Department Colloquium

Fri., Mar. 19, 2021 3:30 p.m.

Location: Live Stream

Speaker: David Sherman, University of Virginia

Title:  Model theory for functional analysis (492 kB) PDF file


Model theory studies the interplay between mathematical structures and their logical properties. Some of its most beautiful theorems involve a construction called an ultrapower. Many standard objects in functional analysis, such as Banach spaces and operator algebras, carry useful notions of ultrapower, but this does not interact well with classical model theory. An elegant solution, very natural for analysts, is to switch to a logic in which truth values are drawn from the interval [0,1]. I will give a "big picture" survey of this approach and its prehistory, not assuming that the audience has any familiarity with logic or ultrapowers.

Zoom Link: