| 无穷长语言L_(ω_1ω_1)相对于集合A的可构成集类 |
| |
| 引用本文： | 庞善起. 无穷长语言L_(ω_1ω_1)相对于集合A的可构成集类[J]. 河南师范大学学报(自然科学版), 1992, 0(1) |
| |
| 作者姓名： | 庞善起 |
| |
| 作者单位： | 河南师范大学数学系 |
| |
| 基金项目： | 国家自然科学基金，河南省教委科学基金 |
| |
| 摘 要： | 在文献[1],C.C.Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质.本文建立了相对于集合A的用语言L(ω_1ω_1)所刻划的可构成集类C[A],并且得出了其若干性质.
|
| 关 键 词： | 语言￡_(ω_1ω_1)~V(A) 模型C[A] |
THE CLASS OF SETSω_1 CONSTRUCTIBLE USINGL RELATIVE TO A SET A |
| |
| Pang Shanqi. THE CLASS OF SETSω_1 CONSTRUCTIBLE USINGL RELATIVE TO A SET A[J]. Journal of Henan Normal University(Natural Science), 1992, 0(1) |
| |
| Authors: | Pang Shanqi |
| |
| Affiliation: | Department of Mathamatics |
| |
| Abstract: | In reference [1], C.C.Chang defined the class C of sets ω_1-constructible using L_(ω_1ω_1)and gave some properties about in ZFC. In this note we shall define the elass C[A] of sets ω_1-constructiblc usingL_(ω_1ω_1) relative to a act A and abtain several prorerties of it |
| |
| Keywords: | Language ￡_(ω_1ω _1)~v (0A) Model D[A] |
| 本文献已被 CNKI 等数据库收录！ |
