《反基礎(chǔ)公理的邏輯研究(精)》包含 三編,第1編為用圖刻畫的各種反基礎(chǔ)公理系統(tǒng)ZFC ˉ+AFA(或者SAFA、FAFA以及反基礎(chǔ)公理家族AFA~) 建立不同的集論模型,從而證明各種反基礎(chǔ)公理與 ZFCˉ的相對協(xié)調(diào)性。第2編修正、完善和豐富了巴威 斯(J.Barwise)等人用代數(shù)方法:方程組刻畫的 反基礎(chǔ)公理——解引理理論。第3編包括兩個附錄。
附錄1給出了結(jié)構(gòu)之間的互摸擬理論。附錄2給出了項 目研究期間發(fā)表的部分論文。
李娜,女,1958年生,河南開封市人。研究方向:現(xiàn)代邏輯。中國邏輯學(xué)會會員。1978年至1982年在河南大學(xué)數(shù)學(xué)系學(xué)習(xí),獲理學(xué)學(xué)士學(xué)位。1986至1989年在中國科學(xué)院軟件研究所學(xué)習(xí),獲理學(xué)碩士學(xué)位。現(xiàn)任南開大學(xué)哲學(xué)院邏輯教研室教授、博士生導(dǎo)師。主持多項國家或省級社會科學(xué)研究項目;出版《數(shù)理邏輯的思想與方法》、《集合論含有原子的自然模型和布爾值模型等學(xué)術(shù)專著》,發(fā)表《GB的布爾值模型》等多篇學(xué)術(shù)論文;獲得教育部人文社會科學(xué)優(yōu)秀成果二等獎1次、三等獎1次。
前言
第Ⅰ編 用圖刻畫的反基礎(chǔ)公理
第一章 基礎(chǔ)公理與反基礎(chǔ)公理
一 基礎(chǔ)公理
(一)良基關(guān)系
(二)良基集
二 集合論中的一些非良基現(xiàn)象
(一)流
(二)無窮樹
(三)非良基集合
三 反基礎(chǔ)公理
(一)良基集合和非良基集合的另一種刻畫
(二)集合和圖
(三)反基礎(chǔ)公理
第二章 基本概念和結(jié)論
一 一些基本概念
二 四種非良基集合論
(一)AFA與Aczel集合論
(二)SAFA與Scott集合論
(三)FAFA和Finsler集合論
(四)BAFA與Boofa集合論
(五)AFA、SAFA和FAFA三者之間的關(guān)系
三 集合的論域
(一)良基集合的論域
(二)非良基集合的四個論域
(三)集合論域之間的關(guān)系
第三章 反基礎(chǔ)公理與ZFCˉ的相對協(xié)調(diào)性
一 反基礎(chǔ)公理的一個自然模型
(一)集合論的語言
(二)zFC+AFA的公理
(三)ZFC+AFA的一個自然模型
(四)ZFC+AFA的一個模型
二 基于VB的一個模型
(一)布爾值模型Vn
(二)基于VB的ZFCˉ+AFA的模型
(三)基于V0b的zFC+AFAˉ的模型
三 基于V=L的一個模型
(一)Godel的可構(gòu)成模型L
(二)基于V=L的ZFC+AFA的模型
(三)基于L的ZFC+AFAˉ的模型
四 基于V(A)的一個模型
(一)直覺主義謂詞演算系統(tǒng)HQC和公理系統(tǒng)ZFA
(二)zFA的模型V(A)
(三)zFA的滿模型
(四)非良基集上的外延性
(五)zFc+A+AFA~的模型
第Ⅱ編用方程組刻畫的反基礎(chǔ)公理
第四章集合方程組與解引理
一 線性方程組與它的解
(一)線性方程組
(二)線性方程組的一般解
二 齊次平坦方程組與它的解引理
(一)齊次平坦方程組
(二)齊次平坦方程組的解引理LAFA
三 (Barwise-型的)平坦方程組與它的解引理
(一)(Barwise-型的)平坦方程組
(二)解引理AFA
(三)(Barwise-型的)平坦方程組的一個擴張
第五章基于方程組的互模擬
一 互模擬的齊次平坦方程組
二 互模擬的廣義平坦方程組
三 互模擬的一些基本性質(zhì)
四 集合的強外延性
第六章廣義方程組與解引理
一 廣義方程組
(一)廣義方程組
(二)代入
二廣義方程組的解引理
第七章反基礎(chǔ)公理AFA與ZFC一的相對協(xié)調(diào)性
一 一個強外延的模型
(一)一個證明計劃
(二)一個強外延的模型
二 一些互模擬的方程組
(一)一個重要結(jié)論
(二)一些互模擬的方程組
三 ZFC的協(xié)調(diào)性
(一)翻譯
(二)ZFC的協(xié)調(diào)性
四 AFA的協(xié)調(diào)性
第八章 兩種反基礎(chǔ)公理之間的關(guān)系
一 圖與集合
(一)圖
(二)兩種反基礎(chǔ)公理之間的關(guān)系
二 加標圖
(一)加標圖
(二)根據(jù)∈定義的二元關(guān)系
(三)一些互模擬的圖
第九章 兩種方程組和它們的解引理
一 齊次平坦方程組的一種擴張
(一)齊次平坦方程組的一種擴張
(二)Finsler一齊次平坦方程組的解引理FAFA
(三)兩種反基礎(chǔ)公理的等價性
二 齊次崎嶇方程組和它的解引理
(一)齊次崎嶇方程組
(二)解引理QQAFA
三 崎嶇方程組和它的解引理
(一)崎嶇方程組
(二)解引理QAFA
(三)一個一覽表
第Ⅲ篇 附錄
附錄l 結(jié)構(gòu)之間的互模擬
一 滿模擬下的一些保持性
二 互模擬下的一些不變性
附錄2 已發(fā)表的部分論文
集合論的反基礎(chǔ)公理
論基礎(chǔ)公理與反基礎(chǔ)公理
互模擬的一些基本性質(zhì)
解悖方法研究近況
主要參考文獻
索引