|
|||||
|
|
| _（ω_1ω）的一个子逻辑系统及其特征 | |
| 引用本文： | 童雪._（ω_1ω）的一个子逻辑系统及其特征[J].北京师范大学学报(自然科学版),1995(2). |
| 作者姓名： | 童雪 |
| 作者单位： | 北京师范大学数学系 |
| 摘 要： | 给出了的一个子逻辑系统，并在其上初步讨论了一些重要的模型论性质，给出了的一个特征。主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上ＬＳＴ定理和ω_１－紧致性定理成立，则与等价。 |
| 关 键 词： | 可有限分离的正规逻辑系统 LST定理 ω_1－紧致性定理 |
A LOGICAL SUBSYSTEM OF AND ITS CHARACTERIZATION |
|
| Tong Xue.A LOGICAL SUBSYSTEM OF AND ITS CHARACTERIZATION[J].Journal of Beijing Normal University(Natural Science),1995(2). | |
| Authors: | Tong Xue |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |