在[2],[3]中证明了当值格 L 有限时,紧致性定理成立.当值格 L 无限时紧性定理是否成立呢?说的更明确一点就是:设 T 是一个理论（分组句子集）且 T 的每一有限子集有模型（T 是有限和谐的）,T 有没有模型呢?我们的结论是:在一般情况下 T...在[2],[3]中证明了当值格 L 有限时,紧致性定理成立.当值格 L 无限时紧性定理是否成立呢?说的更明确一点就是:设 T 是一个理论（分组句子集）且 T 的每一有限子集有模型（T 是有限和谐的）,T 有没有模型呢?我们的结论是:在一般情况下 T 不一定有模型.例1.设 L 是一可数无限格,L 含有一个如下的元素列:I>α1>α2>……>αn>……且 inf{αi}=0……展开更多
文摘在[2],[3]中证明了当值格 L 有限时,紧致性定理成立.当值格 L 无限时紧性定理是否成立呢?说的更明确一点就是:设 T 是一个理论（分组句子集）且 T 的每一有限子集有模型（T 是有限和谐的）,T 有没有模型呢?我们的结论是:在一般情况下 T 不一定有模型.例1.设 L 是一可数无限格,L 含有一个如下的元素列:I>α1>α2>……>αn>……且 inf{αi}=0……
