共 50 条
- [41] Countable models of trivial theories which admit finite coding [J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (04) : 1279 - 1286
- [42] THEORIES WITH A FINITE NUMBER OF COUNTABLE MODELS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A497 - A497
- [44] Testing continuum theories as models of ion channels [J]. BIOPHYSICAL JOURNAL, 2001, 80 (01) : 176A - 176A
- [45] FINDING 2(N0) COUNTABLE MODELS FOR ORDERED THEORIES [J]. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 719 - 727
- [46] ON SPECIFICATIONS, THEORIES, AND MODELS WITH HIGHER TYPES [J]. INFORMATION AND CONTROL, 1986, 68 (1-3): : 1 - 46
- [48] The uncountable spectra of countable theories [J]. ANNALS OF MATHEMATICS, 2000, 152 (01) : 207 - 257
- [49] On countable simple unidimensional theories [J]. JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (04) : 1377 - 1384
- [50] A PROPERTY OF COUNTABLE STABLE THEORIES [J]. SIBERIAN MATHEMATICAL JOURNAL, 1981, 22 (01) : 59 - 63