normal basis theorem

A fundamental inequality is established and some normal theorems on quasi conformal mappings are obtained.

应用覆盖曲面的理论，研究了拟共形映射族，建立了一个基本不等式，得到几个关于拟共形映射的正规定理。

Moreover,by the introducing the notion of PUL~*-algebras and constructing the normal prime filter theorem of PUL~*- algebras, the completeness of system PUL~* is proved.

同时,以PUL~*系统的Lindenbaum代数结构为背景引入PUL~*-代数概念,建立了相应的滤子理论,得到PUL~*-代数的正规素滤子定理,借此证明了PUL~*系统的完备性。

By the normal prime filter theorem of PL~*-algebra, the completeness theorem of formal system PL~* is proved.

其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性。