有穷公理化相关论文
K.Fine证明S4.3的所有正规扩张都是可有穷公理化的。证明中使用了列表( list )方法,其中的关键是Kruskal定理的一个简化版本,Fine使用归......
首先介绍两个概念:主同余类的弱可定义性以及次直不可分解类的可定义性。证明了任一有穷代数A,若(V)具有弱可定义的主同余类以及可定义次......