讲义讨论: 集合论基础 (OperatorP)/一阶逻辑/紧致性定理的超积证明及其应用


关于此版块

不可编辑

本站内容使用 CC BY-SA 4.0 授权。

发起新话题
您尚未登录。要收到带您名字而不是您 IP 地址的署名，您可以登录或注册一个账户。

参考文献

2 个评论 • 2024 年 7 月 15 日 (一) 17:22 2024 年 7 月 15 日 (星期一)
2
Momo (讨论贡献)

请问: “2.7. 紧致性定理的超积证明及其应用” 这一节的参考文献是什么?

2024 年 7 月 14 日 (日) 09:29 2024 年 7 月 14 日 (星期日)
OperatorP (讨论贡献)

我不确定, 或许是姚宁远的初等模型论的第二章 (还是第三章, 一时间手头无书, 抱歉)?

2024 年 7 月 15 日 (一) 17:22 2024 年 7 月 15 日 (星期一)
没有更早的话题
取自 “https://www.bananaspace.org/wiki/讲义讨论:集合论基础_(OperatorP)/一阶逻辑/紧致性定理的超积证明及其应用”