|
|||||
|
|
| 关于无限值格模型论的一点注记 | |
| 引用本文： | 卢景波.关于无限值格模型论的一点注记[J].北京师范大学学报(自然科学版),1982(2). |
| 作者姓名： | 卢景波 |
| 作者单位： | 北京师范大学数学系 |
| 摘 要： | 在2],3]中证明了当值格 L 有限时,紧致性定理成立.当值格 L 无限时紧性定理是否成立呢?说的更明确一点就是:设 T 是一个理论(分组句子集)且 T 的每一有限子集有模型(T 是有限和谐的),T 有没有模型呢?我们的结论是:在一般情况下 T 不一定有模型.例1.设 L 是一可数无限格,L 含有一个如下的元素列:I>α_1>α_2>……>α_n>……且 inf{α_i}=0……(1)又设可数语言 |
| 本文献已被 CNKI 等数据库收录！ | |