摘 要: | (1993)临界性问题眭跃飞A-及时允许的新概念在Turing归约下被定义了,并给出了它的一个基本性质,利用.此基本性质,作者证明了,任意两个递归可枚举度A和B形成极小对,当且仅当B不是A-及时允许的.作者还证明了不存在极大极小对.n维Mbius群的表示理论方爱农该文解决了高维Mbius群的分类,不求不动点建立共轭标准型和简明的判别法等人们一直关心而长期未解决的基本问题.假设g=是Clifford矩阵,c≠0.本文给出了n维Mobius群的完全共轭分类,证明了下列充要条件:g是运动的(没有不动点…
|