О полных квазимногообразиях

Квазимногообразие называется полным, если все его бесконечные модели элементарно эквивалентны. В заметке доказывается, что полное локально-конечное квазимногообразие счетно категорично. Для случая многообразий алгебр эта теорема анонсирована А. Лахланом.