共 50 条
- [1] WEAK DEFINABILITY IN INFINITARY LANGUAGES [J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (03) : 399 - 404
- [3] BETH DEFINABILITY IN INFINITARY LANGUAGES [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 22 - 26
- [6] BETH DEFINABILITY FOR INFINITARY FINITE-QUANTIFIER LANGUAGES [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A329 - A329
- [7] WEAK COMPLETENESS OF LARGE INFINITARY LANGUAGES [J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 436 - 436
- [8] BETHS THEOREM AND CRAIGS THEOREM FOR FINITE QUANTIFIER INFINITARY LANGUAGES - PRELIMINARY REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (06): : 968 - &
- [9] INFINITARY EQUIVALENCE OF GROUPS - PRELIMINARY REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (02): : A285 - A285
- [10] DEFINABILITY IN NONCLASSICAL LOGICS - PRELIMINARY REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A13 - A13