共 50 条
- [1] AUTOMORPHISMS OF A LATTICE OF RECURSIVELY ENUMERABLE SUBSPACES - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A503 - A503
- [2] MAJOR SUBSPACES OF RECURSIVELY ENUMERABLE SPACES - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A447 - A448
- [3] RECURSIVELY PRESENTED MODELS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A550 - A551
- [4] RECURSIVELY ENUMERABLE COMPLEXITY SEQUENCES .2. PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A19 - A19
- [5] THEORIES WITH RECURSIVE MODELS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A20 - A20
- [7] MODELS OF AN EXTENSION OF THEORY ORD - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A495 - A496
- [10] THEORIES WITH A FINITE NUMBER OF COUNTABLE MODELS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A497 - A497