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的有理函数域。
Copyright © 2022-2025 字海网 zi.yyxxoo.com All Rights Reserved 赣ICP备16001187号
字海网是专业的汉语在线工具集,提供权威的汉语字典、词典、成语、古诗词及英语词典查询服务,致力于传承和弘扬中华语言文化。合作与反馈请联系QQ:2830130449。
本站内容来源网络,如涉及版权或表述问题,请及时联系QQ:2830130449。