共 50 条
- [1] FINITELY AXIOMATIZABLE CATEGORICAL THEORIES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 281 (12): : 403 - 406
- [5] UNDECIDABLE NO-CATEGORICAL THEORIES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (02): : 423 - &
- [8] THE SIMILARITY OF PROPERTIES OF THE RECURSIVELY-ENUMERABLE AND FINITELY AXIOMATIZABLE THEORIES DOKLADY AKADEMII NAUK SSSR, 1989, 308 (04): : 788 - 791