Fine 有穷公理化定理的一个注记

• 作者: 裘江杰
• 来源期刊: 哲学门
• 关键词: 列表方法 S4.3 有穷公理化
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 论文
• 页码范围: 335-344
• 页数: 10页
• 字数: 6793字
• 语种: 中文

摘要

K．Fine证明S4．3的所有正规扩张都是可有穷公理化的。证明中使用了列表（ list ）方法，其中的关键是Kruskal定理的一个简化版本，Fine使用归纳法证明它，稍欠直观，本文给出一个纯组合证明。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裘江杰	中国人民大学哲学院	9	0	0.0	0.0