DEGREES OF RECURSIVELY SATURATED MODELS

被引：26

|

作者：

MACINTYRE, A

MARKER, D

机构：

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1984年 / 282卷 / 02期

关键词：

D O I：

10.2307/1999251

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：539 / 554

页数：16

相关论文

共 50 条

[31] THE UNDECIDABILITY OF THE RECURSIVELY-ENUMERABLE DEGREES
HARRINGTON, L
SHELAH, S
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 6 (01) : 79 - 80
[32] GENERATORS OF THE RECURSIVELY-ENUMERABLE DEGREES
AMBOSSPIES, K
[J]. LECTURE NOTES IN MATHEMATICS, 1985, 1141 : 1 - 28
[33] Bounded Recursively Enumerable Sets and Degrees
眭跃飞
[J]. Journal of Computer Science & Technology, 1993, (03) : 205 - 208
[34] ON PAIRS OF RECURSIVELY-ENUMERABLE DEGREES
AMBOSSPIES, K
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 283 (02) : 507 - 531
[35] Automorphism bases for the recursively enumerable degrees
Ambos-Spies, Klaus
[J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2018, 7 (2-3): : 237 - 258
[36] An extension of the recursively enumerable Turing degrees
Simpson, Stephen G.
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2007, 75 : 287 - 297
[37] DECOMPOSITION OF RECURSIVELY-ENUMERABLE DEGREES
LACHLAN, AH
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 79 (04) : 629 - 634
[38] Splittings of 0' into the recursively enumerable degrees
Yi, XD
[J]. MATHEMATICAL LOGIC QUARTERLY, 1996, 42 (02) : 249 - 269
[39] DECISION PROBLEM FOR RECURSIVELY ENUMERABLE DEGREES
SHOENFIE.JR
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (03): : A386 - A386
[40] RECURSIVELY ENUMERABLE BW-DEGREES
KOBZEV, GN
[J]. MATHEMATICAL NOTES, 1977, 21 (5-6) : 473 - 477

← 1 2 3 4 5 →