王世強文集代數(shù)與數(shù)理邏輯

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