Structural Theory of Degrees of Unsolvability: Advances and Open Problems

被引：0

作者：

M. M. Arslanov

机构：

[1] Kazan (Volga Region) Federal Univ.,

来源：

Algebra and Logic | 2015年 / 54卷

关键词：

Partial Order; London Math; Structural Theory; Previous Theorem; Volga Region;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Presented by the Program Committee of the Conference “Mal’tsev Readings”

引用

页码：342 / 346

页数：4

共 50 条

[41] Unsolvability of some optimization problems
Zhu, WX
APPLIED MATHEMATICS AND COMPUTATION, 2006, 174 (02) : 921 - 926
[42] DISTRIBUTIVE UNCOUNTABLE INITIAL SEGMENTS OF THE DEGREES OF UNSOLVABILITY
RUBIN, JM
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 428 - 428
[43] UNSOLVABILITY CORES IN CLASSIFICATION PROBLEMS
Brandt, Ulrike
Walter, Hermann K. -G.
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (02)
[44] MINIMAL DEGREES OF UNSOLVABILITY AND FULL APPROXIMATION CONSTRUCTION
EPSTEIN, RL
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 3 (1-16) : 1 - 136
[45] FINAL ALGEBRAS, COSEMICOMPUTABLE ALGEBRAS, AND DEGREES OF UNSOLVABILITY
MOSS, LS
MESEGUER, J
GOGUEN, JA
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 158 - 181
[46] ON THE DEGREES OF UNSOLVABILITY OF MODAL PREDICATE LOGICS OF PROVABILITY
MCGEE, V
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (01) : 253 - 261
[47] CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY
MARTIN, DA
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 295 - &
[48] FINAL ALGEBRAS, COSEMICOMPUTABLE ALGEBRAS AND DEGREES OF UNSOLVABILITY
MOSS, LS
MESEGUER, J
GOGUEN, JA
THEORETICAL COMPUTER SCIENCE, 1992, 100 (02) : 267 - 302
[49] THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY
KLEENE, SC
POST, EL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 59 (06) : 557 - 557
[50] SOME NONDISTRIBUTIVE LATTICES AS INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
LERMAN, M
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (01) : 85 - &

← 1 2 3 4 5 →