Model Theory Working Seminar

Leo Jimenez, Department of Pure Mathematics, University of Waterloo

"Uncollapsed Hrushovski constructions, part 2"

Last week, we constructed the Hrushovski-Fraisse limit of a class of finite relational structures. This week, I will axiomatize these limits and prove they are omega-stable. I will also give a characterization of forking. If time allows, I will show some potential application.