"О теореме Левенгейма-Сколема-Мальцева для HF-структур" - читать интересную книгу автора (Пузаренко В. Г.)