Miniworkshop June 2012

Internality in model theory and category theory

Talk given by M.Kamenski


I will explain the model theoretic notion of internality, which provides conditions for the automorphism group of a structure over a reduct to be definable (in the original structure). I will then explain how the assumptions can be stated in a general categorical framework, and state a weak version of the main theorem, that holds in the categorical setting.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2012-06-20, 17:11.