Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 15-2015
MSC 2000
- 03D20 Recursive functions and relations, subrecursive hierarchies
-
26A09 Elementary functions
-
06A99 None of the above, but in this section
Abstract :
311.0(x,z,z). 311.0(x,{}circ f,stm) mit f:U stm {0} to U.
P_{unendl}. P_{unendl}(x).
paarweise disjunkt. wirkt disjunkt.
RECH-Notation: Fortsetzung.
U_x Axiom. hoch x. hoch Axiom.
p_{ni}_E x. x E_{in}p x {ni}_E_{in} y
Keywords :
paarweise disjunkt. hoch x . hoch Axiom. U_x Axiom.