Bounded iteration and unary functions
From MaRDI portal
Publication:3159406
DOI10.1002/malq.200410010zbMath1077.03024MaRDI QIDQ3159406
Publication date: 16 February 2005
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200410010
elementary function; algebras of sub-recursive unary functions; bounded iteration; linear-space computable functions; polynomial-space computable functions
03D15: Complexity of computation (including implicit computational complexity)
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
03D20: Recursive functions and relations, subrecursive hierarchies
03D50: Recursive equivalence types of sets and structures, isols
Related Items
Iteration on notation and unary functions, Unary primitive recursive functions, Distributive proper forcing axiom and cardinal invariants, Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram
Cites Work