Fri, 25 May 2007 15:15 L3 Automorphisms and models of foundational theories. Ali Enayat (Utrecht and Washington)