Model Theory and Continuous Logic

When
Start: 10/25/2017 - 4:15pm
End  : 10/25/2017 - 5:15pm

Category
Colloquium

Speaker
Victoria Noquez (HMC)

Abstract

Do you think that considering the abstract notion of a vector space is more fun than doing computations with matrices? Have you ever wondered how you can make that even more abstract? Are you now wondering why anyone ever would?  In this talk we will discuss the kinds of questions which model theorists seek to answer, some applications of these types of results to other branches of math, and ways in which we can generalize the ordinary framework of classical logic to allow for an even wider variety of applications.

 

Where
Argue Auditorium, Millikan, Pomona College