Countable Arithmetically Saturated Models and the Small Index Property.

Models of PAWednesday, March 18, 20154:50 pmGC 6300

Erez Shochat

Countable Arithmetically Saturated Models and the Small Index Property.

Erez Shochat

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.

Make poster
Posted by Roman Kossak on March 1st, 2015