王世強文集代數與數理邏輯

一　數理邏輯與代數
　命題演算的一系公理（及補注）
　一種邏輯電路演算的初步構作
　格值模型論中緊致性定理的一種證法
　格值模型論中的省略型定理
　關于合同關系的可換性
　實向量所成的有序環(huán)
　有限結合系與有限群（Ⅰ）
　關于代數系統(tǒng)的自同構群的一個注記
　關于格值模型論的一些研究
　關于可補格的一種分類問題
二　數理邏輯對代數的應用
　一類具有G01dbach性質的可換環(huán)
　二次數環(huán)的不具有Goldbach性質的擴環(huán)
　一些分圓整數環(huán)的Goldbach及非Goldbach擴環(huán)
　不可數域的一個緊致性定理
　關于域上無限方陣的逆方陣
　無限方陣的二平方和定理
　Goldbach猜想對于Peano公理組的條件獨立性——對一些數論問題的邏輯討論（Ⅰ）
　完美數與親和數問題對PA的條件獨立性——對一些數論問題的邏輯討論（Ⅲ）
　模型論對多項式理論的一個應用
　一些三次數環(huán)的具有及不具有Goldbach性質的擴環(huán)
　一種Goldbach可換環(huán)的數論性質
　歸納的環(huán)和域
　Hilbert零點定理的推廣
　某些域上無限方陣的2平方和定理
　關于無限方陣的Jordan標準型
　關于行列有限方陣的對角化
　45-f，1有限的無限矩陣的對角化
　某些無限域上多項式環(huán)的Goldbach 3素元性質
三　數學教育
　結式定理的一種證法
　運算律的秘密
　0和1的方程組
　格值模型論概述（一）
　一個數學分析問題的獨立性
　模型論對經典數學的應用
　數學基礎研究的一些新進展
　關于Baire定理等的真假
　雜談數學及其他
附錄
　年表
　論文和著作目錄
后記