ABSTRACT

In Morley’s lemma “lots of models” corresponds to 2 °^ many countable models; and the technical tool used at each step is the perfect set theorem for Borel sets. In our setting the “lots of models” case will correspond to an embedding of Eo and the central technical device is a version of Glimm-Effros due to Becker and Kechris.