Speaker: Diego Rojas, Sam Houston State University
Title: Universality for Separable Banach Spaces in Reverse Mathematics
Abstract: The Banach-Mazur Theorem states that every separable Banach space is isometrically isomorphic to a closed subspace of C[0,1]. This classical result underlies much of modern functional analysis, yet its logical strength has not been explicitly analyzed within the framework of reverse mathematics. In this talk, we investigate the Banach-Mazur Theorem within the reverse-mathematical framework for separable Banach spaces developed by Brown and Simpson. We then determine its relative strength with respect to other foundational principles of separable Banach space theory, including the Hahn–Banach Theorem and the Uniform Boundedness Principle.
Talk will be presented virtually and can be viewed either in Carver 0401 or via https://iastate.zoom.us/j/93127761644