Louise Hay Logic Seminar
Gabriel Conant
UIC
An axiomatic approach to free amalgamation
Abstract: We consider complete first-order theories equipped with an axiomatic ternary relation designed to capture the behavior of free amalgamation in relational languages. We will discuss model theoretic consequences of the existence of such a ternary relation, and also give several examples, each of which is a well-known generic structure produced by a Fraïssé or Hrushovski construction.
Thursday April 9, 2015 at 4:00 PM in SEO 427