有限蕴涵基中的基本集相互独立
摘要：通过使用系统的准闭合集，给出了一种新的表征来描述闭包系统的蕴涵基础。使用这个表征，可以证明相应于不同基础的区别显著的基本集的蕴涵组可以互换。由此结果可得，在最佳基础中对应于单一基本集的所有蕴涵的右侧基数之和是固定的，从而解决了2014年K. Adaricheva和J.B. Nation的一个开放猜想。这些结果提供了对蕴涵基础的全局结构更深入的了解。
作者：Todd Bichoupan
论文ID：2304.06837
分类：Logic
分类简称：math.LO
提交时间：2023-05-30