当前位置:首页 > 数理化
集合论含有原子的自然模型和布尔值模型
集合论含有原子的自然模型和布尔值模型

集合论含有原子的自然模型和布尔值模型PDF电子书下载

数理化

  • 电子书积分:9 积分如何计算积分?
  • 作 者:李娜著
  • 出 版 社:北京:北京师范大学出版社
  • 出版年份:2011
  • ISBN:9787303121694
  • 页数:187 页
图书介绍:本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型。
《集合论含有原子的自然模型和布尔值模型》目录

第一章 基本概念 1

1.集合论的形式语言 1

2.集合论的公理系统 7

3.布尔代数 19

4.一些常用的概念 21

第二章 自然模型 33

1. ZFC的自然模型V及其一些基本性质 34

2. GB的自然模型∑及其一些基本性质 40

3. COG的自然模型A及其一些基本性质 43

4. ACG的自然模型Ω2及其一些基本性质 49

第三章 含有原子的自然模型 53

1. ZFA的自然模型及其一些基本性质 53

2. GBA的自然模型及其一些基本性质 61

3. COGA的自然模型及其一些基本性质 67

4. ACGA的自然模型及其一些基本性质 73

第四章 布尔值模型 79

1. ZFC的布尔值模型及其一些基本性质 79

2. GB的布尔值模型及其一些基本性质 100

3. COG的布尔值模型及其一些基本性质 122

4. ACG的布尔值模型及其一些基本性质 129

第五章 含有原子的布尔值模型 134

1. ZFA的布尔值模型及其一些基本性质 134

2. GBA的布尔值模型及其一些基本性质 145

3. COGA的布尔值模型及其一些基本性质 165

4. ACGA的布尔值模型及其一些基本性质 174

附 论文 180

参考文献 185

返回顶部