机译:具有解析结构的代数封闭值域理论的量词消除
Quantifier elimination; valued fields; analytic structures;
机译:具有解析结构的代数封闭值域理论的量词消除
机译:使用直线程序对代数封闭域进行量词消除的有效算法
机译:分别为封闭值域:消除量化
机译:代数封闭场理论中的量词消除
机译:带字符的代数封闭字段;微分-Henselian单调值微分场
机译:可解代数数场的类场理论
机译:代数封闭值域上的非同构结构中的量化消除(独立性和维数概念的模型理论方面)