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.
Methods for solving universality problems
06.10.2005 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25