形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

一类笛卡积图的交叉数

确定了一类6阶图与路的笛卡尔积图的交叉数。     

完备Brouwer格上的T-型正则L-关系

利用完备的Brouwer格L上的无穷V-分配t-模T定义格L上的T-型正则L-关系，建立这些L-关系的基本性质，并给出T-型正则L-关系的最大T-型广义逆L-关系的两个计算公式．     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

东大别超高压变质带构造研究进展

大别山造山带的形成和演化主要经过南北板块碰撞、碰撞后超高压变质岩折返和燕山早期穹隆构造形成3个构造阶段,其主体构造格架由碰撞后超高压变质岩折返过程中的伸展作用和燕山早期穹隆构造所形成.文中根据不同岩石单元在超高压变质岩折返和穹隆构造形成中的构造表现,以主期构造特征及其后构造演化的一致性为原则,将东大别造山带的变质岩系分为南大别岩片构造带、中大别穹隆构造带和北大别隆滑-逆冲构造带3个构造单元,系统论述了各构造单元构造变形的几何学和运动学特征,从造山带整体构造演化的角度厘定出3个阶段的5期变形,探讨了它们在大别山构造演化和超高压变质岩形成和折返中的动力学意义.     

幺半群中亚同余概念及幺半群的一分类定理

将群中模H左（右）同余概念及有关理论推广到么半群上，给出么半群中模H左（右）亚同余、亚同余概念及么半群的一个分类定理。     

幺半群中亚同余概念及幺半群后分类定理

将群中模Ｈ左（右）同余概念及有关理论推广到幺半群上，给出了幺半群中模Ｈ左（右）亚同余，亚同余概念及幺半群的一个分类定理。     

关于余作用交叉积的顺从性

设δ为局部紧群G在C*代数A上的余作用，证明了对任一C*代数B有一G在AB上的余作用δ使得（A×δG）B≈（AB）×δG，因此得到若A顺从，则A×δG顺从．     

关于半连续格范畴

构造了一类新的保持半连续格结构的映射，进而得到了意义更广泛的连续格格范畴。     

蕴涵BCK—代数的伴随半群

本证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。