AUTOMORPHISMS OF LATTICE OF RECURSIVELY ENUMERABLE SETS .1. MAXIMAL SETS

被引：77

作者：

SOARE, RI ^{[1
]}

机构：

[1] UNIV ILLINOIS,CHICAGO,IL 60680

来源：

ANNALS OF MATHEMATICS | 1974年 / 100卷 / 01期

关键词：

D O I：

10.2307/1970842

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：80 / 120

页数：41

相关论文

共 17 条

[1] ELEMENTARY THEORY OF RECURSIVELY ENUMERABLE SETS
LACHLAN, AH
[J]. DUKE MATHEMATICAL JOURNAL, 1968, 35 (01) : 123 - &
[2] DEGREES OF RECURSIVELY ENUMERABLE SETS WHICH HAVE NO MAXIMAL SUPERSETS
LACHLAN, AH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 431 - &
[3] ON LATTICE OF RECURSIVELY ENUMERABLE SETS
LACHLAN, AH
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 130 (01) : 1 - &
[4] ON SOME GAMES WHICH ARE RELEVANT TO THEORY OF RECURSIVELY ENUMERABLE SETS
LACHLAN, AH
[J]. ANNALS OF MATHEMATICS, 1970, 91 (02) : 291 - &
[5] SOME THEOREMS ON R-MAXIMAL SETS AND MAJOR SUBSETS OF RECURSIVELY ENUMERABLE SETS
LERMAN, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 193 - &
[6] LERMAN M, TO BE PUBLISHED
[7] CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY
MARTIN, DA
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 295 - &
[8] Post E., 1944, B AM MATH SOC, V50, P284, DOI DOI 10.1090/S0002-9904-1944-08111-1
[9] ROBINSON RW, 1966, NOT AM MATH SOC, V13, P325
[10] Rogers Jr. H., 1967, MCGRAW HILL SERIES H