前言
第Ⅰ編 用圖刻畫的反基礎公理
第一章 基礎公理與反基礎公理
一 基礎公理
(一)良基關係
(二)良基集
二 集閤論中的一些非良基現象
(一)流
(二)無窮樹
(三)非良基集閤
三 反基礎公理
(一)良基集閤和非良基集閤的另一種刻畫
(二)集閤和圖
(三)反基礎公理
第二章 基本概念和結論
一 一些基本概念
二 四種非良基集閤論
(一)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 已發錶的部分論文
集閤論的反基礎公理
論基礎公理與反基礎公理
互模擬的一些基本性質
解悖方法研究近況
主要參考文獻
索引
· · · · · · (收起)