В книге излагается генерическая конструкция, приводящая к реализации основных характеристик эренфойхтовых теорий, т.е. полных теорий с конечным, но большим единицы, числом попарно неизоморфных счетных моделей. На основе этой конструкции, а также генерической конструкции Хрушовского - Хервига представляется решение проблемы Лахлана о существовании стабильной эренфойхтовой теории.