×

递归集的布尔代数的强构造模型和计算。 (英语。俄文原件) Zbl 0311.02051号

代数逻辑 10(1971), 332-345 (1973); 代数逻辑10,535-537(1971)的翻译。

MSC公司:

03D60年 序数、容许集等的可计算性和递归理论。
05年3月 布尔代数的逻辑方面
03C99号 模型理论
1999年3月 可计算性和递归理论
03D25号 递归(可计算)可枚举集和度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 于。L.Ershov,“建设性模型”,[俄语],未出版手稿·Zbl 1043.03518号
[2] 于。L.Ershov,“具有互补关系的分配结构初等理论和滤波器理论的可判定性”,Alg。i Logika,第3卷,第3期,第17–38页(1964年)·Zbl 0199.03103号
[3] R.Sikorskii,布尔代数[俄语],Mir(1969)。
[4] A.I.Mal'tsev,算法和递归函数(俄语),Nauka(1965年)。
[5] A.I.Mal’tsev,“构造代数,1”,Uspekh。马特姆。Nauk,16,第3期,第3-60页(1961年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。