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

關於格值模型論的一些研究 0和1的方程組 模型論對經典數學的套用

圖書信息

出版社: 北京師範大學出版集團,北京師範大學出版社; 第1版 (2005年11月1日)
平裝: 320頁
正文語種: 簡體中文
開本: 16
ISBN: 9787303074945
條形碼: 9787303074945
尺寸: 23.4 x 15.4 x 1.6 cm
重量: 422 g

內容簡介

《王世強文集:代數與數理邏輯》內容包括:數理邏輯與代數、命題演算的一系公理(及補註)、一種邏輯電路演算的初步構作、格值模型論中緊緻性定理的一種證法、格值模型論中的省略型定理、關於契約關係的可換性、實向量所成的有序環、有限結合系與有限群、關於代數系統的自同構群的一個註記、關於格值模型論的一些研究、關於可補格的一種分類問題等。

目錄

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

相關詞條

熱門詞條

聯絡我們