抽象模型论相关论文
主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2)......
在无限长逻辑L ω1ω的一个子逻辑L ′ω1ω上建立了几个保持性定理....
