論集合論的模型
作者：李娜; 何建鋒 南開大學(xué)哲學(xué)院
摘要：本文討論了ZF的經(jīng)典模型和非經(jīng)典模型,梳理了它們的最新動(dòng)態(tài),并且將ZF的廣義代數(shù)值模型推廣到基于形式不一致邏輯的弗協(xié)調(diào)集合論。該推廣過程的關(guān)鍵在于解決兩個(gè)問題:第一,這類弗協(xié)調(diào)集合論是否包含不是一致的集合;第二,在模型中如何處理相等關(guān)系=,以便它能夠滿足萊布尼茲公理。此外,本文構(gòu)造的廣義代數(shù)值模型具有一定的可推廣性。
注：因版權(quán)方要求，不能公開全文，如需全文，請(qǐng)咨詢雜志社
