A Study of the Equivalence Problem in $\xi\sum{0}$ Class

$\xi\sum{0}$ 등급에서의 동치문제 연구

In this paper, some interesting aspects of Grzegorczyk classes $\xi\sum{n}$, n$\geq$0 & $\sum$= { 1, 2 } of word-theoretic primitive recursive functions are observed including the classes of its corresponding predicates ($\xi\sum{n}$)* In particular, the small classes $\xi\sum{n}$($n\leq2$) are very incomparable to the corresponding small classes $\xi\sum{n}$ where $\xi\sum{n}$ is the number-theoretic Grzegorczyk classes. As one of some interesting aspects of the small classes, we show that the equivalence problem in $\xi\sum{0}$is undecidable.

이 논문에서는 기존의 number-theoretic 순환함수와 연계된 word-theoretic 순환함수 및 술어(predicates)들의 Grzegorzyk 클래스를 논한다. 특히 small 클래스 $\xi\sum{n}$($n\leq2$)에서의 특성은 그에 대응하는 number-theoretic small 클래스 $\xi\sum{n}$과는 매우 틀린 특성을 보인다 [2]. 흥미 있는 문제 중의 하나인 $\xi\sum{0}$ 등급에서의 동치문제는 undecidable 임을 증명한다.