《代数与数理逻辑 王世强文集》PDF下载

  • 购买积分:12 如何计算积分?
  • 作  者:李仲来主编
  • 出 版 社:北京:北京师范大学出版社
  • 出版年份:2005
  • ISBN:7303074945
  • 页数:320 页
图书介绍:

目录一 数理逻辑与代数命题演算的一系公理(及补注)  3

一种逻辑电路演算的初步构作  10

格值模型论中紧致性定理的一种证法  20

格值模型论中的省略型定理  29

关于合同关系的可换性  38

实向量所成的有序环  49

有限结合系与有限群(Ⅰ)  67

关于代数系统的自同构群的一个注记  71

关于格值模型论的一些研究  79

关于可补格的一种分类问题  88

二 数理逻辑对代数的应用一类具有Goldbach性质的可换环  95

二次数环的不具有Goldbach性质的扩环  103

一些分圆整数环的Goldbach及非Goldbach扩环  110

不可数域的一个紧致性定理  112

关于域上无限方阵的逆方阵  120

无限方阵的二平方和定理  126

Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(Ⅰ)  132

完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅲ)  138

模型论对多项式理论的一个应用  143

一些三次数环的具有及不具有Goldbach性质的扩环  145

一种Goldbach可换环的数论性质  159

归纳的环和域  172

Hilbert零点定理的推广  178

某些域上无限方阵的2平方和定理  183

关于无限方阵的Jordan标准型  187

关于行列有限方阵的对角化  193

行列有限的无限矩阵的对角化  203

某些无限域上多项式环的Goldbach3素元性质  215

三 数学教育结式定理的一种证法  223

运算律的秘密  229

0和1的方程组  241

格值模型论概述(一)  250

一个数学分析问题的独立性  260

模型论对经典数学的应用  270

数学基础研究的一些新进展  276

关于Baire定理等的真假  284

杂谈数学及其他  291

附录年表  305

论文和著作目录  311

后记  319