(原始)帰納的述語 $P(x_1, \cdots, x_n)$は自然数上で定義された述語とする。${\cal D}$は関数の有限集合とする。 $P$は${\cal D}$-帰納的述語 $:\Leftrightarrow$ $P$の表現関数$\chi_P$は${\cal D}$-帰納的関数 ${\cal D} \equ \phi$の時は、$P$を帰納的述…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。