王世强文集

目录
一 数理逻辑与代数
命题演算的一系公理(及补注)
一种逻辑电路演算的初步构作
格值模型论中紧致性定理的一种证法
格值模型论中的省略型定理
关于合同关系的可换性
实向量所成的有序环
有限结合系与有限群(Ⅰ)
关于代数系统的自同构群的一个注记
关于格值模型论的一些研究
关于可补格的一种分类问题
二 数理逻辑对代数的应用
一类具有Goldbach性质的可换环
二次数环的不具有Coldbach性质的扩环
一些分圆整数环的Goldbach及非Goldbach扩环
不可数域的一个紧致性定理
关于域上无限方阵的逆方阵
无限方阵的二平方和定理
Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(Ⅰ)
完美数与亲和数问题对PA的条件独立性——对一些数论问题的逻辑讨论(Ⅲ)
模型论对多项式理论的一个应用
一些三次数环的具有及不具有Goldbach性质的扩环
一种Goldbach可换环的数论性质
归纳的环和域
Hilbert零点定理的推广
某些域上无限方阵的2平方和定理
关于无限方阵的Jordan标准型
关于行列有限方阵的对角化
行列有限的无限矩阵的对角化
某些无限域上多项式环的Goldbach3素元性质
三 数学教育
结式定理的一种证法
运算律的秘密
0和1的方程组
格值模型论概述(一)
一个数学分析问题的独立性
模型论对经典数学的应用
数学基础研究的一些新进展
关于Baire定理等的真假
杂谈数学及其他
附录
年表
论文和著作目录
后记
Ⅰ Mathematical Logic and Algebra
An Axiom system for the Propositional Calculus(with Addition)
Preliminary Construction for a Calculus of Logical Electric Circuit
A Proof of the Compactness Theorem in Lattice-Valued Model Theory
A Proof ofan Omitting Types Theorem in Lattice-Valued Model Theory
On the Permutability of Congruence Relations
Ordered Rings of Real Vectors
Finite Associative Systems and Finite Groups(Ⅰ)
A Note on the Automorphism Groups of Algebraic Systems
Some Studies on Lattice-Valued Model Theory
On a Classification Problem for Complemented Lattices
Ⅱ Applications of Mathematical Logic to Algebra
A Class of Commutative Rings with Goldbach Property
Extensions of the Rings of Quadratic Integers without Goldbach Property
Goldbach and Non-Goldbach Extensions of Some Rings of Cyclo-tomic Integers
A Compactness Theorem for Uncountable Fields
On the Inverse of Infinite Matrices on Fields
Two-Square Theorem of Infinite Matrices
The Conditional Independence of Goldbach Conjecture with Respect to Peano Axioms—Logical Discussions about Some Problems in Number Theory(Ⅰ)
Conditional Independence to PA of the Problems on Perfect Numbers and Amicable Numbers—Logical Discussions about Some Prob-lems in Number Theory(Ⅲ)
An Application of Model Theory to the Theory of Polynomials
Extensions with and without Goldbach Property of Some Cubic Rings of Integers
Some Number-Theoretic Properties of a Kind of Goldbach Commu-tative Rings
Inductive Rings and Fields
A Generalization of Hilbert Nullstellensatz
Two-Square Theorems for Infinite Matrices on Certain Fields
The Jordan Normal Form of Infinite Matrices
On the Diagonalization of Row-Column-Finite Matrices
Diagonalization of Row-Column-Finite Infinite Matrices
The Goldbach 3-Primes Property for Polynomial Rings Over Cer-tain Infinite Fields
Ⅲ Mathematical Education
A Proof of the Resultant Theorem
Some Secrets in the Laws of Operations
Some Systems of Equations Composed by 0's and 1's
A Survey on Lattice-Valued Model Theory(Ⅰ)
The Independence to ZFC of a Problem in Mathematical Analysis
Some Applications of Model Theory to Classical Mathematics
Some New Progress in Researches on the Foundation of Mathematics
About the Truth or Falsity of Baire Theorem
A Chat on Mathematics and Others
Appendix
Time Table
Bibliography of Papers and Works
Postscript by the Chief Editor