《初等模型论》从一阶 逻辑 的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。
转载请注明出处，本文链接：https://www.80srz.com/pantx/56555.html
1. 本站所有资源来源于网络，如有侵权请邮件联系站长！hygd0813@qq.com 2. 分享目的仅供大家学习和交流，您必须在下载后24小时内删除！ 3. 不得使用于非法商业用途，不得违反国家法律。否则后果自负！ 4. 本站提供的资源，都不包含版权，请大家谅解！ 5. 如有链接无法下载、失效或广告，请联系管理员处理！ 6. 本站资源售价只是赞助，收取费用仅维持本站的日常运营所需！
上一篇坚
下一篇现代西方哲学论著选读
发表评论
回复评论: 取消回复
评论列表
发表评论