掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
弗協調集合論模型研究 版權信息
- ISBN：9787522737867
- 條形碼：9787522737867 ; 978-7-5227-3786-7
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
弗協調集合論模型研究 內容簡介
本書使用文獻研究法討論了一個數理邏輯問題: 弗協調集合論是否優于經典集合論。書稿從張清宇先生的弗協調命題邏輯出發構造一階謂詞系統和集合論系統, 并構造模型證明其非平凡性, 結果證明現有的弗協調集合論不優于經典集合論。本書同時還用模型證明了弗協調集合論的非平凡性, 在一定意義上拓展了其應用領域, 實現了洛韋和塔拉法德的猜想, 將廣義代數值模型推廣到弗協調集合論, 書稿也對集合論模型的構造技術作了一次較為充分的梳理, 為其它集合論模型的研究提供參考。
弗協調集合論模型研究 目錄
前言
**章 弗協調集合論概況
**節 弗協調邏輯
第二節 弗協調集合論的典型系統
第三節 弗協調集合論的模型
本章小結
第三章 ZF的經典模型
節 預備知識
第二節 可構成模型
第三節 置換模型
第四節 力迫模型
本章小結
第三章 ZF的非經典模型
節 布爾值模型
第二節 廣義代數值模型
第三節 拓撲斯
本章小結
第四章 弗協調集合論ZQST
節 弗協調命題邏輯系統Zn
第二節 弗協調一階謂詞邏輯系統ZQ
第三節 基于ZQ的弗協調集合論ZQST
第四節 ZQST中的序數和基數
本章小結
第五章 ZQST的模型
節 弗協調集合的構造方法
第二節 ZQST的拓撲模型的構造思路
第三節 ZQST的廣義代數值模型
本章小結
結語
參考文獻
展開全部
弗協調集合論模型研究 作者簡介
何建鋒，男，1987年生，河南登封人，2018年畢業于南開大學邏輯學專業，獲哲學博士學位，現任中南財經政法大學哲學院講師，主講現代邏輯相關課程，參與國家社會科學基金重點項目1項，主持湖北省社會科學基金項目1項，主持校級科研項目3項，發表CSSCI論文3篇。
書友推薦
- >
莉莉和章魚
- >
上帝之肋:男人的真實旅程
- >
苦雨齋序跋文-周作人自編集
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
我從未如此眷戀人間
- >
煙與鏡
- >
唐代進士錄
- >
名家帶你讀魯迅:故事新編
本類暢銷
