Christian Espíndola: Recovering an infinitary first-order theory from its category of models

Time: Wed 2017-02-22 10.00 - 11.45

Lecturer: Christian Espíndola

Location: Room 14, building 5, Kräftriket, Department of Mathematics, Stockholm University

Abstract: Makkai’s reconstruction result allows to recover a first-order theory, up to pretopos completion, by equipping the category of models with appropriate structure and considering set-valued functors preserving this structure. One of the difficulties in extending this result to the infinitary case is that the Keisler–Shelah isomorphism theorem, which asserts that elementary equivalent models have isomorphic ultrapowers, does not hold for infinitary logic. However, we will see that the theory of accessible categories can provide extra structure, under appropriate large cardinal assumptions, to recover the theory up to a notion of infinitary pretopos-completion.

2017-02-22T10:00 2017-02-22T11:45 Christian Espíndola: Recovering an infinitary first-order theory from its category of models Christian Espíndola: Recovering an infinitary first-order theory from its category of models
Top page top