EXISTENTIAL COMPLETE INDUCTIVE THEORY WITH α(Т,р) = ω OMITTED p
We proved the existents of existential complete inductive theory with a{T,p) = ^omitted the non-principle set of existential formulas p.