格嵌入γ.ｅ.度的研究

本项目用格嵌入方法研究不可解度的结构。在分配格的嵌入方面证明了可数分配格可嵌入任何非零r,e.度以下区间并保持1，从而使得分配格嵌入r,e,度问题基本解决。在非分配格嵌入中证明了极大的相对极小对的存在性，该结果在国际上被认为是r,e,度连续性方面的六个基本结果之一。在r,e,度脱殊性研究中解决了Jockuch的猜测。在d-r,e,度研究中证明了与著名的Lachlan非分裂定理对应的分裂定理，并解决了Cooper的两个开问题。在非单调逻辑研究中解决著名的Ethrington的两个猜测。国外九篇论文引用了我们的成果。三年来共发表论文二十三篇，其中国外杂志上五篇，得国家教委科技进步奖一次。在国际会议上作大会报告三次。