Presented By: Logic Seminar - Department of Mathematics
Logic Seminar -- Ultraproducts in continuous logic
Dhruv Kulshreshtha
We will introduce the notion of ultraproducts in our setting of continuous logic, which will soon be used in proving the compactness theorem. This talk will also cover some prerequisites to better understand ultrafilters and ultraproducts.
Co-Sponsored By
Explore Similar Events
-
Loading Similar Events...