机译:Dedekind代数的Fraenkel-Carnap问题
second-order logic; categoricity; finite axiomatizable;
机译:Dedekind代数的Fraenkel-Carnap问题
机译:Defekind完成了每个频带保存运算符的U-Algebras订单有限
机译:MBF的代数对象和Dedekind数的递归计算
机译:Dedekind递归定理的关系代数处理
机译:同源代数在集合论问题中的应用:缺口和树
机译:Dedekind的η函数与无限维李代数的同调
机译:“动态格罗布纳基地”勘误表J.代数301(2)(2006)447–458和“ Dedekind环上的动态Gröbner基地” J.代数324(1)(2010)12–24
机译:自动生成模型和反例及其在三元布尔代数中的开放问题中的应用