О счетной категоричности

Построена полная счетная не $\omega$-категоричная теория, которая для каждого $n<\omega$ имеет только конечное число попарно не эквивалентных экзистенциальных формул с $n$ свободными переменными.