Logic Seminar - Ori Segal

Positive Pattern Spaces


We will present a recent construction by Hrushovski in the more general context of positive logic.
Given a theory, we will endow its type spaces with a relational structure and show that the positive theory of the type spaces behaves quite nicely. In particular it allows us to extract a common substructure whose properties reflect in a sense those of the original theory.
We will show that some results generalize to the context of positive logic and some do not, and also try and address the question of repeated applications.
All needed concepts will be explained during the talk.


Wed, 09/06/2021 - 11:00 to 13:00