The procedure is optimal under elementary equivalence.
运用EhrenfeuchtGames理论给出原子布尔代数理论的一个判定过程及其复杂度，并说明这个过程在初等等价意义下是最优的。
The following theorems are proved: Rational function field ■(x) and C(x) with conjugate concept are not elementary equivalence.
<正> Jensen在[1]中提出了一个问题:■(x)与C(x)是否初等等价,其中■是全体代数数构成的数域,C是复数域,■(x)与C(x)分别是■与C上的一个变数x的有理函数域。