Wednesday, March 18, 20154:50 pmGC 6300
Countable Arithmetically Saturated Models and the Small Index Property.
St. Francis College
In 1994 Lascar proved that countable arithmetically saturated models of PA have the Small Index Property. In this talk we outline the proof and discuss related results and open problems.
Posted byon March 1st, 2015