Automorphism Groups of Models of Different Theories (Part I)

Models of PAWednesday, March 30, 20166:15 pmGC 4214-03

Erez Shochat

Automorphism Groups of Models of Different Theories (Part I)

St. Francis College

Jim Schmerl recently proved that there are continuum many theories extending PA, for which whenever M and N are countable arithmetically saturated models of two different such theories, their automorphism groups are non isomorphic. In part I, we give a survey of results concerning automorphism groups of countable arithmetically saturated models of PA, and introduce notions and prove results which will be used in part II to prove Schmerl’s Theorem.

Posted by on March 25th, 2016