Diagonal fixed points in algebraic recursion theory (Q2576642)

In algebraic recursion theory diagonal fixed points originate from the so-called normal form theorem -- an analog of Kleene's normal form theorem in classical recursion theory. In this work a special type of partially ordered algebra, called intensional combinatory space, is considered. For such algebras it is established that, under some weak first-order expressible condition, the least fixed point coincides with the canonical diagonal fixed point for any inductive operation w.r.t. a suitable normal representation procedure.