FM逻辑的紧致性与Lwenheim-Skolem性  

作　　者：秦克云[1] 徐扬[1] 宋振明[1] 

机构地区：[1]西南交通大学,成都610031

出　　处：《科学通报》1998年第4期371-375,共5页Chinese Science Bulletin

基　　金：国家自然科学基金!(批准号 :6 96 74 0 15);四川省科委青年基金资助项目

摘　　要：讨论了FM模型的若干性质 。

关 键 词：格值模型论 FM逻辑 紧致性 L-S性 

分 类 号：O141.4[理学—数学]