齊性i}}題(homogeneity problem)一種不可解度的結構性問題.由於大部分不可解度的結論都可以被相對化，美國數學家羅傑斯(Rogers , H.)提出了如下強齊性猜想:對任何度a , GT與}(>a>同構.耶茨(Yates,C. E. M.)提出了如下齊性猜想:對任何度a,}與}' (}a>初等等價.但肖爾((Shore ,R. A.)和傑克什(Jockusch,C. G.)證明了這兩個猜不成立.他們證明了:若繆與'}()a>初等等價，則a為算術度.因此，D與D(,0``}')不初等等價.關於強齊性問題，他們進一步證明了:如果，(,a)與0-}(}b)同構，則a,b算術等價.
