中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
反基礎公理的邏輯研究-國家哲學社會科學成果文庫 版權信息
- ISBN：9787516176313
- 條形碼：9787516176313 ; 978-7-5161-7631-3
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
反基礎公理的邏輯研究-國家哲學社會科學成果文庫 本書特色
由李娜*的《反基礎公理的邏輯研究(精)》包含三編，**編為用圖刻畫的各種反基礎公理系統（zfc ˉ afa(或者safa、fafa以及反基礎公理家族afa~) ）建立不同的集論模型，從而證明各種反基礎公理與 zfcˉ的相對協調性。第2編修正、完善和豐富了巴威斯（j.barwise）等人用代數方法——方程組刻畫的反基礎公理——解引理理論。第3編包括兩個附錄?br/>附錄1給出了結構之間的互摸擬理論。附錄2給出了項目研究期間發表的部分論文?br/>
反基礎公理的邏輯研究-國家哲學社會科學成果文庫 內容簡介
本書包含三編：第Ⅰ編：為用圖的方法為刻畫非良基集合論系統ZFC/ AFA（或者SAFA、FAFA以及反基礎公理家族AFA~）建立了三種模型，從而證明各種反基礎公理與ZFC?（=ZFC-FA）的相對協調性。第Ⅱ編：基于線性方程組和它的解之間的關系，修正、完善和豐富了巴威斯（J.Barwise）等人用代數方法——方程組刻畫的反基礎公理--解引理理論。第Ⅲ編：包括兩個附錄。附錄1----給出了結構之間的互摸擬理論。附錄2----給出了項目研究期間發表的部分論文。
反基礎公理的邏輯研究-國家哲學社會科學成果文庫 目錄
前言第ⅰ編 用圖刻畫的反基礎公理**章 基礎公理與反基礎公理 一 基礎公理 (一)良基關系 (二)良基集 二 集合論中的一些非良基現象 (一)流 (二)無窮樹 (三)非良基集合 三 反基礎公理 (一)良基集合和非良基集合的另一種刻畫 (二)集合和圖 (三)反基礎公理第二章 基本概念和結論 一 一些基本概念 二 四種非良基集合論 (一)afa與aczel集合論 (二)safa與scott集合論 (三)fafa和finsler集合論 (四)bafa與boofa集合論 (五)afa、safa和fafa三者之間的關系 三 集合的論域 (一)良基集合的論域 (二)非良基集合的四個論域 (三)集合論域之間的關系第三章 反基礎公理與zfcˉ的相對協調性 一 反基礎公理的一個自然模型 (一)集合論的語言 (二)zfc afa的公理 (三)zfc afa的一個自然模型 (四)zfc afa的一個模型 二 基于vb的一個模型 (一)布爾值模型vn (二)基于vb的zfcˉ afa的模型 (三)基于v0b的zfc afaˉ的模型 三 基于v=l的一個模型 (一)godel的可構成模型l (二)基于v=l的zfc afa的模型 (三)基于l的zfc afaˉ的模型 四 基于v(a)的一個模型 (一)直覺主義謂詞演算系統hqc和公理系統zfa (二)zfa的模型v(a) (三)zfa的滿模型 (四)非良基集上的外延性 (五)zfc a afa～的模型第ⅱ編用方程組刻畫的反基礎公理第四章集合方程組與解引理 一 線性方程組與它的解 (一)線性方程組 (二)線性方程組的一般解 二 齊次平坦方程組與它的解引理 (一)齊次平坦方程組 (二)齊次平坦方程組的解引理lafa 三 (barwise-型的)平坦方程組與它的解引理 (一)(barwise-型的)平坦方程組 (二)解引理afa (三)(barwise-型的)平坦方程組的一個擴張第五章基于方程組的互模擬 一 互模擬的齊次平坦方程組 二 互模擬的廣義平坦方程組 三 互模擬的一些基本性質 四 集合的強外延性第六章廣義方程組與解引理 一 廣義方程組 (一)廣義方程組 (二)代入 二廣義方程組的解引理 第七章反基礎公理afa與zfc一的相對協調性 一 一個強外延的模型 (一)一個證明計劃 (二)一個強外延的模型 二 一些互模擬的方程組 (一)一個重要結論 (二)一些互模擬的方程組 三 zfc的協調性 (一)翻譯 (二)zfc的協調性 四 afa的協調性 第八章 兩種反基礎公理之間的關系 一 圖與集合 (一)圖 (二)兩種反基礎公理之間的關系 二 加標圖 (一)加標圖 (二)根據∈定義的二元關系 (三)一些互模擬的圖第九章 兩種方程組和它們的解引理 一 齊次平坦方程組的一種擴張 (一)齊次平坦方程組的一種擴張 (二)finsler一齊次平坦方程組的解引理fafa (三)兩種反基礎公理的等價性 二 齊次崎嶇方程組和它的解引理 (一)齊次崎嶇方程組 (二)解引理qqafa 三 崎嶇方程組和它的解引理 (一)崎嶇方程組 (二)解引理qafa (三)一個一覽表第ⅲ篇 附錄附錄l 結構之間的互模擬 一 滿模擬下的一些保持性 二 互模擬下的一些不變性附錄2 已發表的部分論文 集合論的反基礎公理 論基礎公理與反基礎公理 互模擬的一些基本性質 解悖方法研究近況主要參考文獻索引
展開全部
反基礎公理的邏輯研究-國家哲學社會科學成果文庫 作者簡介
李娜，女，1958年生，河南開封市人。研究方向：現代邏輯。中國邏輯學會會員。現任南開大學哲學院邏輯教研室教授、博士生導師。主持多項省級或國家級社會科學研究項目。
書友推薦
- >
月亮與六便士
- >
詩經-先民的歌唱
- >
推拿
- >
龍榆生：詞曲概論/大家小書
- >
煙與鏡
- >
伯納黛特,你要去哪(2021新版)
- >
回憶愛瑪儂
- >
經典常談
本類暢銷
