|
|||||
|
|
| lω1ω的一个子逻辑系统及其特征 | |
| 引用本文： | 童雪.lω1ω的一个子逻辑系统及其特征[J].北京师范大学学报(自然科学版),1995,31(2):143-148. |
| 作者姓名： | 童雪 |
| 摘 要： | 给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。 |
| 关 键 词： | 正规逻辑系统 LST定理 ω1－紧致性 模型论 |
| 本文献已被 维普 等数据库收录！ | |