掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡史
弗協(xié)調(diào)集合論模型研究 版權(quán)信息
- ISBN：9787522737867
- 條形碼：9787522737867 ; 978-7-5227-3786-7
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
弗協(xié)調(diào)集合論模型研究 內(nèi)容簡介
本書使用文獻(xiàn)研究法討論了一個數(shù)理邏輯問題: 弗協(xié)調(diào)集合論是否優(yōu)于經(jīng)典集合論。書稿從張清宇先生的弗協(xié)調(diào)命題邏輯出發(fā)構(gòu)造一階謂詞系統(tǒng)和集合論系統(tǒng), 并構(gòu)造模型證明其非平凡性, 結(jié)果證明現(xiàn)有的弗協(xié)調(diào)集合論不優(yōu)于經(jīng)典集合論。本書同時還用模型證明了弗協(xié)調(diào)集合論的非平凡性, 在一定意義上拓展了其應(yīng)用領(lǐng)域, 實(shí)現(xiàn)了洛韋和塔拉法德的猜想, 將廣義代數(shù)值模型推廣到弗協(xié)調(diào)集合論, 書稿也對集合論模型的構(gòu)造技術(shù)作了一次較為充分的梳理, 為其它集合論模型的研究提供參考。
弗協(xié)調(diào)集合論模型研究 目錄
前言
**章 弗協(xié)調(diào)集合論概況
**節(jié) 弗協(xié)調(diào)邏輯
第二節(jié) 弗協(xié)調(diào)集合論的典型系統(tǒng)
第三節(jié) 弗協(xié)調(diào)集合論的模型
本章小結(jié)
第三章 ZF的經(jīng)典模型
節(jié) 預(yù)備知識
第二節(jié) 可構(gòu)成模型
第三節(jié) 置換模型
第四節(jié) 力迫模型
本章小結(jié)
第三章 ZF的非經(jīng)典模型
節(jié) 布爾值模型
第二節(jié) 廣義代數(shù)值模型
第三節(jié) 拓?fù)渌? 本章小結(jié)
第四章 弗協(xié)調(diào)集合論ZQST
節(jié) 弗協(xié)調(diào)命題邏輯系統(tǒng)Zn
第二節(jié) 弗協(xié)調(diào)一階謂詞邏輯系統(tǒng)ZQ
第三節(jié) 基于ZQ的弗協(xié)調(diào)集合論ZQST
第四節(jié) ZQST中的序數(shù)和基數(shù)
本章小結(jié)
第五章 ZQST的模型
節(jié) 弗協(xié)調(diào)集合的構(gòu)造方法
第二節(jié) ZQST的拓?fù)淠Ｐ偷臉?gòu)造思路
第三節(jié) ZQST的廣義代數(shù)值模型
本章小結(jié)
結(jié)語
參考文獻(xiàn)
展開全部
弗協(xié)調(diào)集合論模型研究 作者簡介
何建鋒，男，1987年生，河南登封人，2018年畢業(yè)于南開大學(xué)邏輯學(xué)專業(yè)，獲哲學(xué)博士學(xué)位，現(xiàn)任中南財經(jīng)政法大學(xué)哲學(xué)院講師，主講現(xiàn)代邏輯相關(guān)課程，參與國家社會科學(xué)基金重點(diǎn)項目1項，主持湖北省社會科學(xué)基金項目1項，主持校級科研項目3項，發(fā)表CSSCI論文3篇。
書友推薦
- >
羅庸西南聯(lián)大授課錄
- >
月亮與六便士
- >
月亮虎
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
詩經(jīng)-先民的歌唱
- >
煙與鏡
- >
龍榆生：詞曲概論/大家小書
本類暢銷
