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

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