Methods for solving universality problems

06.10.2005 15:00 - 16:30

K. Thompson (U Wien)

We will discuss a number of ways of showing that universal models do or do not exist. The methods stem from model theory, set theory and category theory. We will see examples of these methods mostly using relational structures, but they can be applied to algebraic and topological structures as well. By comparing which methods work for different structures, one can find patterns in the behaviour of these structures with regard to universality.

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25