Axiomatic theory of partial continuous functions and the Peano curve (Q1895047)

We consider the logical properties of partial continuous functions defined by various transformers and, in particular, by macrotransformers over labeled trees. These properties are described in the form of an axiomatic theory (\(\Delta'\)-calculus). This paper is a continuation of an earlier one [the author, Tr. Inst. Mat. 12, 39-72 (1989; Zbl 0721.03045)], where the \(\Delta\)-calculus has been constructed. These calculi based on axioms of universality, approximation, and iteration encompass a fairly broad common part of various theories and in particular the theories of partial recursive functions and partial recursive operators over infinite labeled trees defined by macrotransformers. The approximation axiom is a weaker version of the axiom of piecewise definition of a function. The latter has been used in \textit{E. G. Wagner's} axiomatic theory [Trans. Am. Math. Soc. 144, 1-41 (1969; Zbl 0265.02029)] intended for the description of the theory of partial recursive functions. The \(\Delta'\)-calculus has an essentially broader spectrum of different interpretations than Wagner's axiomatic theory. For instance, the latter is not interpretable in the theory of partial continuous functions in a Cantor space. The question of satisfiability of the iteration axiom in the theory of partial continuous real functions remains open: it is associated with some topological aspects, such as dimension, Peano curve, etc. We know that a continuous surjection (Peano curve) \(g: [0, 1]\to [0, 1]^ 2\) exists with degree of covering 3 [see \textit{N. N. Luzin}: Theory of functions of a real variable (Russian) (1948; Zbl 0032.33901)]. Here we show that a Peano curve \(f_ B(x)\) with degree of covering 4 exists and is defined by a finite \(R\)- transformer \(B\). It thus follows from our earlier paper [loc. cit.] that it maps rational points into points with rational coordinates. The notion of \(R\)-transformer has been introduced by the author in Kibernetika 1987, No. 1, 12-17 (1987; Zbl 0718.68052). A continuous surjection \(\widetilde f_ A: M_{cd}\to [0, 1]^ 2\) has been constructed, defined on the Cantor discontinuum by a finite \(R\)-transformer. We also consider the \(\Delta_ 1\)-calculus in which the universality and iteration axioms are replaced with a single fixed-point axiom.