Multiplicative formulas
The definition of a multiplicative formula is given. Some results which are analogues of theorems proved in papers of \textit{E. A. Palyutin} and \textit{S. S. Starchenko} [Tr. Inst. Mat. 8, 108-162 (1988; Zbl 0672.03020)] and the author [Dokl. Akad. Nauk SSSR 319, No. 1, 58-60 (1991; Zbl 0790.03033)] are obtained here. Partially, a stable multiplicative theory (i.e. a theory which satisfies the condition: if \(M\) is a \(T\)-model then \(M^ \omega\) is a \(T\)-model, too) is proved to be \(P\)-normal, where \(P\) is the set of \(T\)-formulas filtered with respect to filters containing atomless elements.
scientific article; zbMATH DE number 561010