题名:
弗协调集合论模型研究   [ 专著] / 何建锋著 ,
ISBN:
978-7-5227-3786-7 价格： CNY88.00
语种:
chi
载体形态:
318页 24cm
出版发行:
出版地： 北京 出版社： 中国社会科学出版社 出版日期： 2024.12
内容提要:
本书使用文献研究法讨论了一个数理逻辑问题：弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统，并构造模型证明其非平凡性，结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性，在一定意义上拓展了其应用领域，实现了洛韦和塔拉法德的猜想，将广义代数值模型推广到弗协调集合论，书稿也对集合论模型的构造技术作了一次较为充分的梳理，为其它集合论模型的研究提供参考。 
主题词:
数理逻辑   研究
中图分类法:
B81 版次： 5
主要责任者:
何建锋 著
责任者附注:
何建锋，男，1987年生，河南登封人，2018年毕业于南开大学逻辑学专业，获哲学博士学位，现任中南财经政法大学哲学院讲师，主讲现代逻辑相关课程，参与国家社会科学基金重点项目1项。