【初等代数和几何的判定法】科学.pdf

【初等代数和几何的判定法】科学.pdf

初等代數和何的判定法 A.塔爾斯基著 J.C.C.克赛 萬目錄 1.初等代數系統 2.初等代數的判定法 3.對於有關系統的推廣 52 解.参考文獻.補充解出了格的明。蘭福特(C.H.Langford)在1927年出 了藏性次序初等理论的判定法.普列斯波格(M.Presbur- 判定法.塔爾斯基(A.Tarski)在1940年給布爾代数的初等 理找到了判定法。麥克赛(J.C.C.McKinsey)在1943 年給出了初等格的真確全語句類的判定法．史米列芙夫 人(Mrs.W.Szmielew)最近得出了交換初等理的判定 法②.判定間题亦有一些重要的否定性的結果．戈德爾(K.Godel)在1930年所得出的基本结果以及後來由邱吉(A.Church)在1936年和羅塞(J.B.