一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性.pdfVIP

郑州航 空工业 管理学 院学报 一 年 第 期 一 阶逻辑紧致性定理在布尔代数 中的 强表现形式及等式逻辑 中的紧致性 杨志红 要 们 在文 中的基 上 引入 代数 结构 形 成一个 布 尔代数 , 并给 出布 尔 摘 我 」 。 。 , 代 数 的一 些重 要 子 集 构 造 了一 个 完全 理 论 即文 【月 中 的一 个 元 证 明 了 是 一 个 完全 布 尔代 数 的子 代 数 , 并在这个 子代数 中给 出一 个 不 弱 于 一 阶逻 辑 紧致性 定 · 理 的 条件 。 本文 给 出 了等 式逻样 中簇 在被 等式集公理 化 时 所休现 出 的与 点集拓 朴 的 紧致 性 相 类似 的性质 。 关键词 布 尔代 数 数理逻 样 紧致性 中图分类号 巧 现在我们在文 中的拓朴空 间 的基 以 弋 任 尸 沪 一 尸 任 〕 所 片 列 】 卜尹 。 上 , 引进布尔代数结构 本文 中凡用到文 于是 〔 〔 一 尸 任 片 司 司 砷 司 中的符 号及一些