登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書

『簡體書』反基础公理的逻辑研究

書城自編碼: 2812847
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: 李娜 著
國際書號(ISBN): 9787516176313
出版社: 中国社会科学出版社
出版日期: 2016-03-01


書度/開本: 16开

售價:HK$ 114.0

我要買

** 我創建的書架 **
未登入.



新書推薦:
变形金刚全新漫画战火重燃+故土难归+绝境逢生(全3册)(能量块宇宙系列合订本,刚丝不容错过,美国漫画
《 变形金刚全新漫画战火重燃+故土难归+绝境逢生(全3册)(能量块宇宙系列合订本,刚丝不容错过,美国漫画 》

售價:HK$ 224.4
看见国家宝藏:60件国宝讲述中华文明
《 看见国家宝藏:60件国宝讲述中华文明 》

售價:HK$ 140.8
闺思:宋元社会变迁下的女性与贞节观
《 闺思:宋元社会变迁下的女性与贞节观 》

售價:HK$ 107.8
劫掠、贸易与海洋帝国:海上劳工与英格兰的崛起,1570―1630
《 劫掠、贸易与海洋帝国:海上劳工与英格兰的崛起,1570―1630 》

售價:HK$ 107.8
新HSK教程1
《 新HSK教程1 》

售價:HK$ 97.9
辨证录:彩图版全本:全两册
《 辨证录:彩图版全本:全两册 》

售價:HK$ 217.8
灰度空间 :城市贫民的地下经济
《 灰度空间 :城市贫民的地下经济 》

售價:HK$ 74.8
十万个为什么·科学绘本馆(第三辑)领略建筑艺术之美——故宫是怎样建造的?
《 十万个为什么·科学绘本馆(第三辑)领略建筑艺术之美——故宫是怎样建造的? 》

售價:HK$ 41.8

內容簡介:
由李娜*的《反基础公理的逻辑研究精》包含三编,**编为用图刻画的各种反基础公理系统(ZFC
ˉ AFA或者SAFA、FAFA以及反基础公理家族AFA~ )建立不同的集论模型,从而证明各种反基础公理与
ZFCˉ的相对协调性。第2编修正、完善和丰富了巴威斯(J.Barwise)等人用代数方法方程组刻画的反基础公理解引理理论。第3编包括两个附录?br附录1给出了结构之间的互摸拟理论。附录2给出了项目研究期间发表的部分论文?br
目錄
前言
第Ⅰ编 用图刻画的反基础公理
第一章 基础公理与反基础公理
一 基础公理
一良基关系
二良基集
二 集合论中的一些非良基现象
一流
二无穷树
三非良基集合
三 反基础公理
一良基集合和非良基集合的另一种刻画
二集合和图
三反基础公理
第二章 基本概念和结论
一 一些基本概念
二 四种非良基集合论
一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ˉ的模型
四 基于VA的一个模型
一直觉主义谓词演算系统HQC和公理系统ZFA
二zFA的模型VA
三zFA的满模型
四非良基集上的外延性
五zFc A AFA~的模型
第Ⅱ编用方程组刻画的反基础公理
第四章集合方程组与解引理
一 线性方程组与它的解
一线性方程组
二线性方程组的一般解
二 齐次平坦方程组与它的解引理
一齐次平坦方程组
二齐次平坦方程组的解引理LAFA
三 Barwise-型的平坦方程组与它的解引理
一Barwise-型的平坦方程组
二解引理AFA
三Barwise-型的平坦方程组的一个扩张
第五章基于方程组的互模拟
一 互模拟的齐次平坦方程组
二 互模拟的广义平坦方程组
三 互模拟的一些基本性质
四 集合的强外延性
第六章广义方程组与解引理
一 广义方程组
一广义方程组
二代入
二广义方程组的解引理
第七章反基础公理AFA与ZFC一的相对协调性
一 一个强外延的模型
一一个证明计划
二一个强外延的模型
二 一些互模拟的方程组
一一个重要结论
二一些互模拟的方程组
三 ZFC的协调性
一翻译
二ZFC的协调性
四 AFA的协调性
第八章 两种反基础公理之间的关系
一 图与集合
一图
二两种反基础公理之间的关系
二 加标图
一加标图
二根据定义的二元关系
三一些互模拟的图
第九章 两种方程组和它们的解引理
一 齐次平坦方程组的一种扩张
一齐次平坦方程组的一种扩张
二Finsler一齐次平坦方程组的解引理FAFA
三两种反基础公理的等价性
二 齐次崎岖方程组和它的解引理
一齐次崎岖方程组
二解引理QQAFA
三 崎岖方程组和它的解引理
一崎岖方程组
二解引理QAFA
三一个一览表
第Ⅲ篇 附录
附录l 结构之间的互模拟
一 满模拟下的一些保持性
二 互模拟下的一些不变性
附录2 已发表的部分论文
集合论的反基础公理
论基础公理与反基础公理
互模拟的一些基本性质
解悖方法研究近况
主要参考文献
索引

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2026 (香港)大書城有限公司  All Rights Reserved.