《数理和应用逻辑文集》

递归结构理论 胡世华1

胡世华先生的学术成就 杨东屏53

关于MIPC等弱基模态系统的一个注记 高恒珊57

证明语义 雷纪刚61

The Application of the Model△(B) Li Na65

On Relativized Arthur Merlin Game MA2 and Complexity Class co-NP Li Xiang68

关于罗素悖论与弗协调逻辑 骆如枫74

Relativized Completeness in Counting Classes and “Accepted Function” Lu Yizhong78

The Solution of Generalized Ulam s Problem Lu Yizhong Guo Rong82

序数的核与自然运算 莫绍揆86

On the Linear Stable Functions Song Fangmin93

Singlefopld Diophantine Representation of the Sequenceu0=0,u1=1,u?+2=mu?+1+u? Sun Zhiwei97

On Structure of Asscciative Nevman Agebra Tang Huaiding102

Dccidable Fragments of Field Theories (Ⅱ) Tung Shiping104

模型论对代数的一些应用 王世强109

“ZF+AC”同“◇”，“ω1-Kurepa树”及“□”的协调性 阎林114

划分空间和初等嵌入 张宏裕 吝维军116

公理集合论综述 张锦文121

Infinite Objccts in Intuitionistic Type Theory Zhang Minghua126

极小的弗协调G′，H′-时态逻辑 张清宇137

Rclations Among Cardinal Invariants Zhang Shuguo145

◇(2？·)+ in Chang s Model Zhao Xishun148

同步电路的逻辑模型 周巢尘152

部分论文中文摘要162

Abstracts of papers submitted to the Colloquium165