Model Theory Seminar

Thursday, September 13, 2018 3:30 pm - 3:30 pm EDT (GMT -04:00)

Levon Haykazyan, Department of Pure Mathematics, University of Waterloo

"Sheaves of Structures and Positive Model Theory"

Can we relax the assumptions on Łoś's theorem if we only care about positive formulas? The answer to this question will lead us to rediscover sheaves of structures and generalised ultraproducts.

MC 5403