幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

弗協調集合論模型研究

  • 作者：何建鋒|責編:楊曉芳|總主編:鄒進文
  • 出版社：中國社科
  • ISBN：9787522737867
  • 出版日期：2024/09/01
  • 裝幀：平裝
  • 頁數：247
人民幣：RMB 98 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書使用文獻研究法討論了一個數理邏輯問題：弗協調集合論是否優於經典集合論。書稿從張清宇先生的弗協調命題邏輯出發構造一階謂詞系統和集合論系統，並構造模型證明其非平凡性，結果證明現有的弗協調集合論不優於經典集合論。本書同時還用模型證明了弗協調集合論的非平凡性，在一定意義上拓展了其應用領域，實現了洛韋和塔拉法德的猜想，將廣義代數值模型推廣到弗協調集合論，書稿也對集合論模型的構造技術作了一次較為充分的梳理，為其它集合論模型的研究提供參考。
作者介紹
何建鋒|責編:楊曉芳|總主編:鄒進文
    何建鋒，男，1987年生，河南登封人，2018年畢業於南開大學邏輯學專業，獲哲學博士學位，現任中南財經政法大學哲學院講師，主講現代邏輯相關課程。參與國家社會科學基金重點項目1項，主持湖北省社會科學基金項目1項，主持校級科研項目3項，發表CSSCI論文若干篇。
目錄
前言
第一章  弗協調集合論概況
  第一節  弗協調邏輯
  第二節  弗協調集合論的典型系統
  第三節  弗協調集合論的模型
  本章小結
第三章  ZF的經典模型
  第一節  預備知識
  第二節  可構成模型
  第三節  置換模型
  第四節  力迫模型
  本章小結
第三章  ZF的非經典模型
  第一節  布爾值模型
  第二節  廣義代數值模型
  第三節  拓撲斯
  本章小結
第四章  弗協調集合論ZQST
  第一節  弗協調命題邏輯系統Zn
  第二節  弗協調一階謂詞邏輯系統ZQ
  第三節  基於ZQ的弗協調集合論ZQST
  第四節  ZQST中的序數和基數
  本章小結
第五章  ZQST的模型
  第一節  弗協調集合的構造方法
  第二節  ZQST的拓撲模型的構造思路
  第三節  ZQST的廣義代數值模型
  本章小結
結語
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032