Gabriel Conant : An axiomatic approach to free amalgamation

Posted by Gabriel Conant , part of the Louise Hay Logic Seminar.

At

April 9, 2015, 4 p.m.

In

SEO 427

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.