王世强文集代数与数理逻辑

　　数理逻辑是数学中的基础性分支，其历史较短，在几十年前，由于它还处在自身发展的阶段，对其他数学分支的应用较少，所以并未受到多数数学家的注意。但近40年来，它对数学中不少分支的重要应用和基础性影响却越来越大了。引起了国内外不少数学家们越来越多的注意和重视。本书包括：数理逻辑与代数、数理逻辑对代数的应用、数学教育。

暂缺《王世强文集代数与数理逻辑》作者简介

一　数理逻辑与代数
　命题演算的一系公理（及补注）
　一种逻辑电路演算的初步构作
　格值模型论中紧致性定理的一种证法
　格值模型论中的省略型定理
　关于合同关系的可换性
　实向量所成的有序环
　有限结合系与有限群（Ⅰ）
　关于代数系统的自同构群的一个注记
　关于格值模型论的一些研究
　关于可补格的一种分类问题
二　数理逻辑对代数的应用
　一类具有G01dbach性质的可换环
　二次数环的不具有Goldbach性质的扩环
　一些分圆整数环的Goldbach及非Goldbach扩环
　不可数域的一个紧致性定理
　关于域上无限方阵的逆方阵
　无限方阵的二平方和定理
　Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论（Ⅰ）
　完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论（Ⅲ）
　模型论对多项式理论的一个应用
　一些三次数环的具有及不具有Goldbach性质的扩环
　一种Goldbach可换环的数论性质
　归纳的环和域
　Hilbert零点定理的推广
　某些域上无限方阵的2平方和定理
　关于无限方阵的Jordan标准型
　关于行列有限方阵的对角化
　45-f，1有限的无限矩阵的对角化
　某些无限域上多项式环的Goldbach 3素元性质
三　数学教育
　结式定理的一种证法
　运算律的秘密
　0和1的方程组
　格值模型论概述（一）
　一个数学分析问题的独立性
　模型论对经典数学的应用
　数学基础研究的一些新进展
　关于Baire定理等的真假
　杂谈数学及其他
附录
　年表
　论文和著作目录
后记